| Thu, 23 Aug 2012 21:23:14 +0200 | wenzelm | simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component; | changeset | files |
| Thu, 23 Aug 2012 20:49:00 +0200 | wenzelm | eliminated obsolete byte_reader -- theory headers + body files are parsed in full; | changeset | files |
| Thu, 23 Aug 2012 20:34:51 +0200 | wenzelm | more direct File.read_bytes -- avoid cumulative copying of StringBuilder; | changeset | files |