| Wed, 27 Jun 2012 17:23:18 +0200 | bulwahn | adding a useful remark in the reference | file | diff | annotate |
| Wed, 02 May 2012 21:15:38 +0200 | wenzelm | tuned latex sources; | file | diff | annotate |
| Sat, 28 Apr 2012 11:24:20 +0200 | huffman | add isar-ref documentation for transfer package | file | diff | annotate |
| Fri, 27 Apr 2012 17:06:36 +0200 | kuncar | documentation for the Lifting package in Isar-ref | file | diff | annotate |
| Wed, 04 Apr 2012 14:08:24 +0200 | bulwahn | documenting options quickcheck_locale; adjusting IsarRef documentation of Quotient predicate; NEWS | file | diff | annotate |
| Fri, 24 Feb 2012 11:23:34 +0100 | blanchet | renamed 'try_methods' to 'try0' | file | diff | annotate |
| Thu, 23 Feb 2012 21:15:11 +0100 | wenzelm | prefer actual syntax categories; | file | diff | annotate |