| 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 |
| Tue, 14 Feb 2012 12:40:55 +0100 | wenzelm | merged, resolving trivial conflicts; | file | diff | annotate |
| Fri, 10 Feb 2012 09:47:59 +0100 | Cezary Kaliszyk | more specification of the quotient package in IsarRef | file | diff | annotate |
| Fri, 10 Feb 2012 09:02:51 +0100 | Cezary Kaliszyk | specification of the quotient package | file | diff | annotate |
| Thu, 02 Feb 2012 20:26:44 +0100 | wenzelm | misc tuning and reformatting; | file | diff | annotate |
| Thu, 02 Feb 2012 16:38:15 +0100 | wenzelm | misc tuning and reformatting; | file | diff | annotate |
| Thu, 29 Dec 2011 10:47:55 +0100 | haftmann | attribute code_abbrev superseedes code_unfold_post | file | diff | annotate |