| Tue, 14 Jun 2016 20:48:41 +0200 | haftmann | explicit resolution of ambiguous dictionaries | file | diff | annotate |
| Sun, 29 May 2016 14:43:17 +0200 | haftmann | do not export abstract constructors in code_reflect | file | diff | annotate |
| Mon, 18 Apr 2016 20:56:11 +0200 | haftmann | environment variable check has become pointless after 771b8ad5c7fc | file | diff | annotate |
| Wed, 13 Apr 2016 14:25:02 +0200 | wenzelm | tuned; | 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 21:01:22 +0100 | wenzelm | merged | file | diff | annotate |