aboutsummaryrefslogtreecommitdiff
path: root/phox/phox-fun.el
AgeCommit message (Expand)Author
2017-09-22phox is backChristophe Raffalli
2009-09-29phox-find-and-forget: return a listDavid Aspinall
2009-09-15Prevent many compile warningsDavid Aspinall
2009-09-05Tidy whitespaceDavid Aspinall
2009-09-04Remove proof-no-commandDavid Aspinall
2009-09-01Removed support for x-symbol (I do not like it because it changes the buffer ...Christophe Raffalli
2004-03-01Fix compiler warningsDavid Aspinall
2004-01-30updating for new PG versionChristophe Raffalli
2003-06-05Make find-and-forget robust for proverproc regionsDavid Aspinall
2003-02-12change for version 0.83 of PhoXChristophe Raffalli
2001-08-28Change of proof span type back to goalsaveDavid Aspinall
2001-07-25Various changes for win32 compatibilityChristophe 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-01-18*** empty log message ***Christophe Raffalli
2000-12-21'goalsave -> 'proofDavid Aspinall
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-02-14 06:49:39 +0000