Fri, 21 Apr 2017 14:09:03 +0200 | wenzelm | eliminated default_qualifier: just a constant; | file | diff | annotate |
Wed, 12 Apr 2017 22:32:55 +0200 | wenzelm | clarified loaded_theories: map to qualified theory name; | file | diff | annotate |
Wed, 12 Apr 2017 21:13:43 +0200 | wenzelm | global session_base for PIDE interaction; | file | diff | annotate |
Sat, 08 Apr 2017 22:36:32 +0200 | wenzelm | more qualifier treatment, but in the end it is still ignored; | file | diff | annotate |
Sat, 08 Apr 2017 12:31:29 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Tue, 04 Apr 2017 22:56:28 +0200 | wenzelm | more explicit types; | file | diff | annotate |
Sat, 01 Apr 2017 22:03:24 +0200 | wenzelm | clarified YXML vs. symbol encoding: operate on whole message; | file | diff | annotate |