aboutsummaryrefslogtreecommitdiffhomepage
path: root/phox/phox-font.el
Commit message (Expand)AuthorAge
* phox is backGravatar Christophe Raffalli2017-09-22
* Prevent many compile warningsGravatar David Aspinall2009-09-15
* Tidy whitespaceGravatar David Aspinall2009-09-05
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ...Gravatar Christophe Raffalli2006-02-24
* improvment of phox-x-symbol, supress sym-lock, first support for proof by con...Gravatar Christophe Raffalli2004-10-20
* updating for new PG versionGravatar Christophe Raffalli2004-01-30
* change for version 0.83 of PhoXGravatar Christophe Raffalli2003-02-12
* change to support version 4.4 of x-symbolGravatar Christophe Raffalli2002-07-25
* change to support version 4.4 of x-symbolGravatar Christophe Raffalli2002-07-25
* *** empty log message ***Gravatar Christophe Raffalli2002-03-21
* added hook: proof-before-fontify-output-hookGravatar Christophe Raffalli2002-03-21
* *** empty log message ***Gravatar Christophe Raffalli2001-03-19
* *** empty log message ***Gravatar Christophe Raffalli2001-02-08
* *** empty log message ***Gravatar Christophe Raffalli2001-02-07
* *** empty log message ***Gravatar Christophe Raffalli2001-02-02
* *** empty log message ***Gravatar Christophe Raffalli2001-02-01
* *** empty log message ***Gravatar Christophe Raffalli2000-12-22
* *** empty log message ***Gravatar Christophe Raffalli2000-12-21
* *** empty log message ***Gravatar Christophe Raffalli2000-12-19
* af2 is now called PhoXGravatar Christophe Raffalli2000-12-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 20:32:35 +0000