| Tue, 01 Mar 2016 15:48:19 +0100 | wenzelm | removed obsolete chmod: isabelle_process no longer supports writable heaps; | changeset | files |
| Tue, 01 Mar 2016 14:47:27 +0100 | wenzelm | redundant -- already provided by Poly/ML toplevel; | changeset | files |
| Tue, 01 Mar 2016 14:23:24 +0100 | wenzelm | prefer bash_process; | changeset | files |
| Tue, 01 Mar 2016 12:59:46 +0100 | wenzelm | only one nested bash process (NB: OS.System = vfork + exec /bin/sh in RTS is faster than Posix.Process.fork/exec in ML); | changeset | files |
| Tue, 01 Mar 2016 13:11:56 +0100 | blanchet | generalized ML function | changeset | files |
| Tue, 01 Mar 2016 10:36:19 +0100 | haftmann | tuned bootstrap order to provide type classes in a more sensible order | changeset | files |