| Mon, 28 Nov 2011 22:18:19 +0100 | wenzelm | explicit indication of modules for independent Scala library; | file | diff | annotate |
| Mon, 28 Nov 2011 22:05:32 +0100 | wenzelm | separate module for concrete Isabelle markup; | file | diff | annotate |
| Fri, 25 Nov 2011 18:37:14 +0100 | wenzelm | retain stderr and include it in syslog, which is buffered and thus increases the chance that users see remains from crashes etc.; | file | diff | annotate |
| Thu, 10 Nov 2011 22:32:10 +0100 | wenzelm | pass term positions into check phase, where resulting types are reported accordingly, and eventually shown as tooltips; | file | diff | annotate |
| Sun, 04 Sep 2011 19:36:19 +0200 | wenzelm | eliminated markup for plain identifiers (frequent but insignificant); | file | diff | annotate |
| Sat, 03 Sep 2011 21:15:35 +0200 | wenzelm | Document.removed_versions on Scala side; | file | diff | annotate |