Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Set version tag for new release. | 2010-08-25 | ||
| | ||||
* | proof-script-command-end-regexp: allow any non-letter after a period | 2010-08-24 | ||
| | | | | | to terminate a command, fixing #296 (and hopefully not messing up other cases). | |||
* | Set version tag for new release. | 2010-08-23 | ||
| | ||||
* | declare trace_simp in Isar, not ML; | 2010-08-20 | ||
| | ||||
* | Set version tag for new release. | 2010-08-19 | ||
| | ||||
* | Update ML (but still doesn't work: how to turn on tracing in ML?) | 2010-08-19 | ||
| | ||||
* | Remove obsolete timings | 2010-08-19 | ||
| | ||||
* | Update link to STIX fonts | 2010-08-19 | ||
| | ||||
* | Clarify behaviour of copy-paste for token variants: it works fine in PG | 2010-08-19 | ||
| | ||||
* | Minor rearrange | 2010-08-18 | ||
| | ||||
* | Updated with recent figures from Mac OS X. | 2010-08-18 | ||
| | ||||
* | Clean flag settings for profiling. Add AHundredProofs. | 2010-08-18 | ||
| | ||||
* | Set version tag for new release. | 2010-08-17 | ||
| | ||||
* | Set version tag for new release. | 2010-08-15 | ||
| | ||||
* | Elisp timing | 2010-08-15 | ||
| | ||||
* | Fix theory name | 2010-08-03 | ||
| | ||||
* | Support files for Movie output | 2010-08-03 | ||
| | ||||
* | Set version tag for new release. | 2010-07-08 | ||
| | ||||
* | Isabelle syntax update | 2010-06-28 | ||
| | ||||
* | Isabelle syntax update | 2010-06-28 | ||
| | ||||
* | New files | 2009-12-04 | ||
| | ||||
* | Set version tag for new release. | 2009-12-04 | ||
| | ||||
* | Update token list adding fraktur characters. | 2009-12-01 | ||
| | ||||
* | Set version tag for new release. | 2009-12-01 | ||
| | ||||
* | Profile 'pg' needed now too | 2009-12-01 | ||
| | ||||
* | Added spanning identifier supers/subs | 2009-12-01 | ||
| | ||||
* | Add some examples of longer subscripts | 2009-12-01 | ||
| | ||||
* | Add test case | 2009-12-01 | ||
| | ||||
* | Add some more examples and syntax declarations to actually | 2009-12-01 | ||
| | | | | process the file. | |||
* | Set version tag for new release. | 2009-11-12 | ||
| | ||||
* | Set version tag for new release. | 2009-10-16 | ||
| | ||||
* | Add pointer | 2009-10-16 | ||
| | ||||
* | *** empty log message *** | 2009-10-16 | ||
| | ||||
* | Set version tag for new release. | 2009-10-06 | ||
| | ||||
* | Set version tag for new release. | 2009-09-29 | ||
| | ||||
* | Set version tag for new release. | 2009-09-28 | ||
| | ||||
* | Set version tag for new release. | 2009-09-21 | ||
| | ||||
* | *** empty log message *** | 2009-09-20 | ||
| | ||||
* | *** empty log message *** | 2009-09-20 | ||
| | ||||
* | *** empty log message *** | 2009-09-17 | ||
| | ||||
* | Set version tag for new release. | 2009-09-16 | ||
| | ||||
* | Set version tag for new release. | 2009-09-15 | ||
| | ||||
* | Update temp list | 2009-09-11 | ||
| | ||||
* | Experimental changes to queue several commands at once and to allow ↵ | 2009-09-10 | ||
| | | | | pre-processing of commands when they're queued from script | |||
* | Coq test | 2009-09-10 | ||
| | ||||
* | Deleted file | 2009-09-07 | ||
| | ||||
* | Obsolete files | 2009-09-06 | ||
| | ||||
* | Clean whitespace | 2009-09-05 | ||
| | ||||
* | Add bug ref | 2009-09-05 | ||
| | ||||
* | some results | 2009-09-04 | ||
| |