Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Enable invisible font lock property for Emacs now, reveal invisible seems to ↵ | David Aspinall | 2007-12-10 |
| | | | | work OK. | ||
* | Emacs compatibility/API updates: string-to-int -> string-to-number | David Aspinall | 2007-12-10 |
| | |||
* | Anticipate future versions have same API, not just 21.5.b28 | David Aspinall | 2007-12-08 |
| | |||
* | Fix for XEmacs 21.5 beta28 | David Aspinall | 2007-12-08 |
| | |||
* | Cleanup mac init, make it compile safe | David Aspinall | 2007-06-10 |
| | |||
* | Experimental patch for unicode/mac support | David Aspinall | 2007-05-11 |
| | |||
* | Unicode patch, in progress | David Aspinall | 2007-05-11 |
| | |||
* | Patch for Mac | David Aspinall | 2007-05-11 |
| | |||
* | Font from Norbert Voelker | David Aspinall | 2007-05-11 |
| | |||
* | Target for dfont | David Aspinall | 2007-05-11 |
| | |||
* | New files. | David Aspinall | 2007-02-08 |
| | |||
* | New files. | David Aspinall | 2006-10-29 |
| | |||
* | Updated. | David Aspinall | 2006-10-29 |
| | |||
* | Updated. | David Aspinall | 2006-09-07 |
| | |||
* | New files. | David Aspinall | 2005-03-23 |
| | |||
* | Large fonts | David Aspinall | 2005-03-23 |
| | |||
* | Changes from Clemens Ballarin for large X-Symbol fonts | David Aspinall | 2005-02-15 |
| | |||
* | New files. | David Aspinall | 2005-02-15 |
| | |||
* | More proofgeneral.org removals | David Aspinall | 2004-08-25 |
| | |||
* | Updated. | David Aspinall | 2004-08-24 |
| | |||
* | Updated. | David Aspinall | 2004-06-16 |
| | |||
* | Add -q to stop site packages loading during compile | David Aspinall | 2004-02-29 |
| | |||
* | Update to 4.5.1-beta from sourceforge. | David Aspinall | 2003-09-24 |
| | |||
* | Deleted file | David Aspinall | 2003-09-24 |
| | |||
* | Updated. | David Aspinall | 2003-09-22 |
| | |||
* | Updated version sent sent by CW | David Aspinall | 2003-03-14 |
| | |||
* | Patch from CW to fix sub/supers prob. | David Aspinall | 2003-03-06 |
| | |||
* | Updated. | David Aspinall | 2003-03-03 |
| | |||
* | New files. | David Aspinall | 2003-03-03 |
| | |||
* | Deleted file | David Aspinall | 2003-03-03 |
| | |||
* | Updated. | David Aspinall | 2003-03-03 |
| | |||
* | Deleted file | David Aspinall | 2003-03-03 |
| | |||
* | Delete | David Aspinall | 2003-03-03 |
| | |||
* | Updated. | David Aspinall | 2003-03-03 |
| | |||
* | Update to 4.5 (pre?) version CW sent | David Aspinall | 2003-03-01 |
| | |||
* | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | 2003-03-01 |
|\ | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall | 2003-03-01 |
| | | |||
| * | This commit was manufactured by cvs2git to create branch 'xsym'. | cvs2git | 2003-03-01 |
| | | | | | | | | | | Cherrypick from master 2003-03-01 11:33:34 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.': x-symbol/README.x-symbol-for-ProofGeneral x-symbol/info/x-symbol.info | ||
* | | New files. | David Aspinall | 2003-03-01 |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | 2003-02-27 |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall | 2003-02-27 |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | 2003-02-26 |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall | 2003-02-26 |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | 2003-02-26 |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall | 2003-02-26 |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | 2003-02-26 |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall | 2003-02-26 |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | 2003-02-26 |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall | 2003-02-26 |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | 2003-02-26 |
|\| | | | | | branch. |