isabelle: File revisions

bin/isabelle_process

Mon, 29 Feb 2016 20:35:06 +0100	wenzelm	isabelle_process executable no longer supports writable heap images;	file \| diff \| annotate
Fri, 02 Oct 2015 23:22:49 +0200	wenzelm	more explicit umask for important directories: e.g. relevant for Windows 10, where implicit g=rwx leads to odd failure of chmod -w for heap images;	file \| diff \| annotate
Sun, 11 Jan 2015 20:40:14 +0100	wenzelm	discontinued fifo channel, always use portable socket;	file \| diff \| annotate
Fri, 31 Oct 2014 16:03:45 +0100	wenzelm	discontinued Isar TTY loop;	file \| diff \| annotate
Fri, 31 Oct 2014 11:18:17 +0100	wenzelm	discontinued Proof General;	file \| diff \| annotate
Sun, 20 Jul 2014 17:54:01 +0200	wenzelm	provide explicit options file -- avoid multiple Scala/JVM invocation;	file \| diff \| annotate
Tue, 22 Apr 2014 11:53:05 +0200	wenzelm	tuned -- avoid warning about catch-all handler;	file \| diff \| annotate
Sun, 06 Apr 2014 16:59:41 +0200	wenzelm	renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;	file \| diff \| annotate \| base

isabelle