Fri, 27 Aug 2010 22:09:51 +0200 | wenzelm | discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure; | file | diff | annotate |
Wed, 25 Aug 2010 14:18:09 +0200 | wenzelm | discontinued obsolete 'global' and 'local' commands; | file | diff | annotate |
Tue, 17 Aug 2010 17:03:38 +0200 | wenzelm | updated keywords; | file | diff | annotate |
Fri, 06 Aug 2010 14:37:04 +0200 | wenzelm | updated keywords; | file | diff | annotate |
Wed, 28 Jul 2010 00:13:26 +0200 | wenzelm | explicit Keyword.control markup for various control commands -- to prevent them from occurring in proof documents; | file | diff | annotate |
Tue, 27 Jul 2010 23:04:50 +0200 | wenzelm | updated keywords; | file | diff | annotate |
Thu, 29 Apr 2010 16:55:22 +0200 | wenzelm | ProofContext.read_const: allow for type constraint (for fixed variable); | file | diff | annotate |