src/Tools/jEdit/src/jedit_sessions.scala
Wed, 15 Mar 2017 11:04:46 +0100 wenzelm clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD";
Wed, 15 Mar 2017 10:43:54 +0100 wenzelm map values statically;
Wed, 15 Mar 2017 10:31:42 +0100 wenzelm clarified modules;
Tue, 14 Mar 2017 11:49:51 +0100 wenzelm tuned;
Mon, 13 Mar 2017 22:50:26 +0100 wenzelm tuned signature;
Mon, 13 Mar 2017 15:59:00 +0100 wenzelm tuned signature;
Mon, 16 Jan 2017 21:53:44 +0100 wenzelm tuned signature;
Mon, 09 Jan 2017 20:47:45 +0100 wenzelm clarified modules;
Sun, 01 Jan 2017 12:20:51 +0100 wenzelm tuned signature;
Sun, 18 Dec 2016 21:58:13 +0100 wenzelm added isabelle jedit -R;
Sat, 01 Oct 2016 23:05:25 +0200 wenzelm options for process policy, notably for multiprocessor machines;
Thu, 14 Apr 2016 12:17:44 +0200 wenzelm tuned;
Thu, 14 Apr 2016 12:08:38 +0200 wenzelm clarified modules;
less more (0) tip