aboutsummaryrefslogtreecommitdiff
path: root/phox/phox-font.el
AgeCommit message (Expand)Author
2017-09-22phox is backChristophe Raffalli
2009-09-15Prevent many compile warningsDavid Aspinall
2009-09-05Tidy whitespaceDavid Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2006-02-24back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ...Christophe Raffalli
2004-10-20improvment of phox-x-symbol, supress sym-lock, first support for proof by con...Christophe Raffalli
2004-01-30updating for new PG versionChristophe Raffalli
2003-02-12change for version 0.83 of PhoXChristophe Raffalli
2002-07-25change to support version 4.4 of x-symbolChristophe Raffalli
2002-07-25change to support version 4.4 of x-symbolChristophe Raffalli
2002-03-21*** empty log message ***Christophe Raffalli
2002-03-21added hook: proof-before-fontify-output-hookChristophe Raffalli
2001-03-19*** empty log message ***Christophe Raffalli
2001-02-08*** empty log message ***Christophe Raffalli
2001-02-07*** empty log message ***Christophe Raffalli
2001-02-02*** empty log message ***Christophe Raffalli
2001-02-01*** empty log message ***Christophe Raffalli
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-21*** empty log message ***Christophe Raffalli
2000-12-19*** empty log message ***Christophe Raffalli
2000-12-01af2 is now called PhoXChristophe Raffalli
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:21:03 +0000