| Fri, 17 May 2013 21:02:08 +0200 | wenzelm | oops; | file | diff | annotate |
| Fri, 17 May 2013 19:04:52 +0200 | wenzelm | added isabelle-process option -o; | file | diff | annotate |
| Fri, 17 May 2013 18:39:49 +0200 | wenzelm | discontinued obsolete isabelle-process options -f and -u; | file | diff | annotate |
| Fri, 17 May 2013 18:19:42 +0200 | wenzelm | discontinued obsolete isabelle usedir, mkdir, make; | file | diff | annotate |
| Sat, 11 May 2013 18:45:38 +0200 | wenzelm | removed some obsolete PGIP/PGEclipse material; | file | diff | annotate |
| Thu, 14 Mar 2013 16:49:36 +0100 | wenzelm | document ISABELLE_POLYML; | file | diff | annotate |
| Sat, 26 Jan 2013 16:10:50 +0100 | wenzelm | updated explanations of document preparation; | file | diff | annotate |