| Thu, 26 Sep 2013 22:34:43 +0200 | wenzelm | added Isabelle/ML example; | file | diff | annotate |
| Sat, 21 Sep 2013 19:48:46 +0200 | wenzelm | immediate access to some elementary examples; | file | diff | annotate |
| Sat, 27 Jul 2013 21:01:35 +0200 | wenzelm | documentation is always in PDF; | file | diff | annotate |
| Sat, 06 Jul 2013 22:11:18 +0200 | wenzelm | more release notes according to availability in proper release vs. repository clone; | file | diff | annotate |
| Sat, 06 Jul 2013 21:51:35 +0200 | wenzelm | quick access to release notes (imitating website/documentation.html); | file | diff | annotate |
| Tue, 25 Jun 2013 19:25:40 +0200 | wenzelm | clarified ISABELLE_DOC_FORMAT -- eliminated slightly odd fall-back; | file | diff | annotate |
| Tue, 25 Jun 2013 12:17:19 +0200 | wenzelm | slightly improved "isabelle doc" based on Isabelle/Scala; | file | diff | annotate | base |