| Thu, 16 Feb 2012 09:18:20 +0100 | bulwahn | adding documentation for abort_potential option in quickcheck | file | diff | annotate |
| Wed, 15 Feb 2012 21:29:23 +0100 | wenzelm | clarified outer syntax "constdecl", which is only local to some rail diagrams; | file | diff | annotate |