aboutsummaryrefslogtreecommitdiff
path: root/phox/phox.el
AgeCommit message (Expand)Author
2002-07-25change to support version 4.4 of x-symbolChristophe Raffalli
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-03-21added hook: proof-before-fontify-output-hookChristophe Raffalli
2002-03-05*** empty log message ***Christophe Raffalli
2001-07-25Various changes for win32 compatibilityChristophe Raffalli
2001-06-22*** empty log message ***Christophe Raffalli
2001-02-20*** empty log message ***Christophe Raffalli
2001-02-20*** empty log message ***Christophe Raffalli
2001-02-07*** empty log message ***Christophe Raffalli
2001-02-07*** empty log message ***Christophe Raffalli
2001-02-01*** empty log message ***Christophe Raffalli
2001-01-18*** empty log message ***Christophe Raffalli
2001-01-11*** empty log message ***Christophe Raffalli
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-21*** 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-03-01 10:11:46 +0000