| Mon, 06 Apr 2015 17:06:48 +0200 | wenzelm | @{command_spec} is superseded by @{command_keyword}; | file | diff | annotate |
| Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |
| Thu, 23 Oct 2014 14:43:48 +0200 | haftmann | tuned language and spelling | file | diff | annotate |
| Mon, 24 Mar 2014 16:06:55 +0100 | wenzelm | formal check of user input, avoiding direct references of interal names; | file | diff | annotate |
| Fri, 23 Aug 2013 20:53:00 +0200 | wenzelm | more standard parser combinator expressions and tool setup; | file | diff | annotate |
| Fri, 23 Aug 2013 20:35:50 +0200 | wenzelm | added Theory.setup convenience; | file | diff | annotate |
| Mon, 26 Nov 2012 14:43:28 +0100 | wenzelm | tuned command descriptions; | file | diff | annotate |
| Sun, 01 Apr 2012 14:50:47 +0200 | Cezary Kaliszyk | Modernized HOL-Import for HOL Light | file | diff | annotate |