Sat, 14 Mar 2015 17:23:58 +0100 | wenzelm | tunes signature -- more uniform ML vs. Scala; | file | diff | annotate |
Sat, 14 Mar 2015 16:56:11 +0100 | wenzelm | position parser as in ML; | file | diff | annotate |
Tue, 10 Mar 2015 20:12:30 +0100 | wenzelm | more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML; | file | diff | annotate |
Wed, 05 Nov 2014 22:17:05 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sat, 01 Nov 2014 15:01:41 +0100 | wenzelm | command-line terminator ";" is no longer accepted; | file | diff | annotate |
Wed, 30 Apr 2014 22:34:11 +0200 | wenzelm | some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path; | file | diff | annotate |
Tue, 08 Apr 2014 13:24:08 +0200 | wenzelm | more precise token positions; | file | diff | annotate |