aboutsummaryrefslogtreecommitdiffhomepage
path: root/phox/phox-fun.el
Commit message (Expand)AuthorAge
* Fix compiler warningsGravatar David Aspinall2004-03-01
* updating for new PG versionGravatar Christophe Raffalli2004-01-30
* Make find-and-forget robust for proverproc regionsGravatar David Aspinall2003-06-05
* change for version 0.83 of PhoXGravatar Christophe Raffalli2003-02-12
* Change of proof span type back to goalsaveGravatar David Aspinall2001-08-28
* Various changes for win32 compatibilityGravatar Christophe Raffalli2001-07-25
* *** empty log message ***Gravatar Christophe Raffalli2001-02-20
* *** empty log message ***Gravatar Christophe Raffalli2001-02-07
* *** empty log message ***Gravatar Christophe Raffalli2001-02-07
* *** empty log message ***Gravatar Christophe Raffalli2001-01-18
* 'goalsave -> 'proofGravatar David Aspinall2000-12-21
* *** 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