| Tue, 22 Dec 2009 17:13:43 +0100 |
wenzelm |
added plain read_file;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2009 16:51:32 +0100 |
wenzelm |
refined some Symbol operations/signatures;
|
file |
diff |
annotate
|
| Thu, 17 Dec 2009 20:14:00 +0100 |
wenzelm |
fifo: raw byte stream;
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 22:31:24 +0100 |
wenzelm |
removed unique ids -- now in session.scala;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2009 21:55:14 +0100 |
wenzelm |
simplified Cygwin setup, assuming 1.7 registry layout (version 1.5 suffers from upcaseenv problem anyway);
|
file |
diff |
annotate
|
| Wed, 09 Dec 2009 21:25:07 +0100 |
wenzelm |
slightly more robust and less ambitious version of install_fonts;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 17:55:07 +0100 |
wenzelm |
register_fonts: more precise error handling;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 23:06:03 +0100 |
wenzelm |
depend on Java 1.6 after all;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 22:23:33 +0100 |
wenzelm |
basic support for IsabelleText fonts;
|
file |
diff |
annotate
|
| Sat, 29 Aug 2009 14:31:39 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Tue, 04 Aug 2009 23:25:00 +0200 |
wenzelm |
added Isabelle_System.components;
|
file |
diff |
annotate
|
| Fri, 03 Jul 2009 21:14:16 +0200 |
wenzelm |
init isabelle home from existing setting or hint via system property;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 16:59:43 +0200 |
wenzelm |
proper interpretation of Cygwin.config;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 15:39:51 +0200 |
wenzelm |
some more Cygwin checks;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 14:27:42 +0200 |
wenzelm |
moved platform identification to platform.scala;
|
file |
diff |
annotate
|