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 |
Sun, 25 Nov 2012 15:17:01 +0100 | wenzelm | eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; | file | diff | annotate |
Sat, 24 Nov 2012 12:39:58 +0100 | wenzelm | added ISABELLE_PLATFORM_FAMILY; | file | diff | annotate |
Wed, 05 Sep 2012 20:54:40 +0200 | wenzelm | eliminated potentially confusing terminology of Scala "layer"; | file | diff | annotate |
Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |