aboutsummaryrefslogtreecommitdiffhomepage
path: root/phox/x-symbol-phox.el
Commit message (Expand)AuthorAge
* work on proof by contextual menu for phoxGravatar Christophe Raffalli2004-11-22
* improvment of phox-x-symbol, supress sym-lock, first support for proof by con...Gravatar Christophe Raffalli2004-10-20
* first try to make x-symbol worksGravatar Christophe Raffalli2004-05-17
* updating for new PG versionGravatar Christophe Raffalli2004-01-30
* change to support version 4.4 of x-symbolGravatar Christophe Raffalli2002-07-25
* added hook: proof-before-fontify-output-hookGravatar Christophe Raffalli2002-03-21
* *** empty log message ***Gravatar Christophe Raffalli2002-03-05