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