| Mon, 31 Dec 2012 13:49:01 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2012 13:34:47 +0100 |
wenzelm |
recovered generic PIDE build;
|
file |
diff |
annotate
|
| Fri, 30 Nov 2012 21:30:24 +0100 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 20:17:04 +0100 |
wenzelm |
explicit module UTF8;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 23:16:54 +0200 |
wenzelm |
more abstract file system operations in Scala, corresponding to ML version;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 22:29:25 +0200 |
wenzelm |
more explicit java.io.{File => JFile};
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 21:04:03 +0200 |
wenzelm |
further imitation of "usedir" shell script;
|
file |
diff |
annotate
|
| Thu, 19 Jul 2012 22:32:52 +0200 |
wenzelm |
added eq_file / copy_file corresponding to File.eq / File.copy in ML;
|
file |
diff |
annotate
|
| Tue, 17 Jul 2012 16:54:23 +0200 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Wed, 30 May 2012 09:25:37 +0200 |
wenzelm |
discontinued unused unzip/untar;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 23:44:16 +0200 |
wenzelm |
discontinued obsolete Cygwin module;
|
file |
diff |
annotate
|
| Sat, 24 Mar 2012 20:24:16 +0100 |
wenzelm |
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 21:29:53 +0100 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 22:18:19 +0100 |
wenzelm |
explicit indication of modules for independent Scala library;
|
file |
diff |
annotate
|
| Sat, 24 Sep 2011 17:18:39 +0200 |
wenzelm |
standardize drive letters -- important for proper document node identification;
|
file |
diff |
annotate
|