-
Alexandre Duret-Lutz authored
* doc/org/randltl.org: The first example used to output '1' as only random formula. This is not very sexy.
15852b4e
* doc/org/randltl.org: The first example used to output '1' as only random formula. This is not very sexy.