| Wed, 16 Mar 2016 21:11:15 +0100 | wenzelm | isabelle process -d; | file | diff | annotate |
| Wed, 16 Mar 2016 11:45:25 +0100 | wenzelm | less physical "logic" argument, with option -l like "isabelle console" etc.; | file | diff | annotate |
| Thu, 10 Mar 2016 12:11:50 +0100 | wenzelm | isabelle_process is superseded by "isabelle process" tool; | file | diff | annotate |
| Wed, 09 Mar 2016 20:36:29 +0100 | wenzelm | more careful print_depth on startup; | file | diff | annotate |
| Wed, 09 Mar 2016 19:30:09 +0100 | wenzelm | isabelle.Build uses ML_Process directly; | file | diff | annotate |
| Tue, 08 Mar 2016 20:02:46 +0100 | wenzelm | back to external line editor, due to problems of JLine with multithreading of in vs. out; | file | diff | annotate |
| Tue, 08 Mar 2016 18:15:16 +0100 | wenzelm | isabelle console is based on Isabelle/Scala; | file | diff | annotate |
| Thu, 03 Mar 2016 23:33:22 +0100 | wenzelm | simplified; | file | diff | annotate |