Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 | |
* | 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 pre-proce... | 2009-09-10 | |
* | 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 | |
* | some profiling records | 2009-09-04 | |
* | Add Elisp timings | 2009-09-04 | |
* | Timing | 2009-09-04 | |
* | fixed theory name; | 2009-09-04 | |
* | Add timing messages | 2009-09-04 | |
* | Set version tag for new release. | 2009-09-01 | |
* | Add Emacs 23 warning. | 2009-08-31 | |
* | Pointer to Stix fonts | 2009-08-31 | |
* | Set version tag for new release. | 2009-08-31 | |
* | Tokenize | 2009-08-31 | |
* | Attribution | 2009-08-31 | |
* | Add more commentary and new control examples | 2009-08-28 | |
* | Updated. | 2009-08-28 | |
* | Attempt to duplicate Dixon bug | 2009-08-28 | |
* | Set version tag for new release. | 2009-08-28 |