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 |