aboutsummaryrefslogtreecommitdiffhomepage
path: root/phox
Commit message (Expand)AuthorAge
...
* Fixes so that compile worksGravatar David Aspinall2003-02-15
* change for version 0.83 of PhoXGravatar Christophe Raffalli2003-02-12
* Remove mule-fonts thing, it breaks make magicGravatar David Aspinall2002-08-29
* AF2 eradicateGravatar David Aspinall2002-08-29
* Fix to calls on messageGravatar David Aspinall2002-08-28
* 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
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Update versions/TODOGravatar David Aspinall2002-07-17
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* *** empty log message ***Gravatar Christophe Raffalli2002-03-21
* added hook: proof-before-fontify-output-hookGravatar Christophe Raffalli2002-03-21
* *** empty log message ***Gravatar Christophe Raffalli2002-03-05
* *** empty log message ***Gravatar Christophe Raffalli2002-01-17
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* 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-06-22
* *** empty log message ***Gravatar Christophe Raffalli2001-03-19
* *** empty log message ***Gravatar Christophe Raffalli2001-02-20
* *** empty log message ***Gravatar Christophe Raffalli2001-02-20
* *** empty log message ***Gravatar Christophe Raffalli2001-02-08
* *** empty log message ***Gravatar Christophe Raffalli2001-02-07
* *** 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 Raffalli2001-02-01
* *** empty log message ***Gravatar Christophe Raffalli2001-01-18
* *** empty log message ***Gravatar Christophe Raffalli2001-01-11
* *** empty log message ***Gravatar Christophe Raffalli2000-12-22
* *** empty log message ***Gravatar Christophe Raffalli2000-12-22
* *** empty log message ***Gravatar Christophe Raffalli2000-12-22
* *** empty log message ***Gravatar Christophe Raffalli2000-12-22
* *** empty log message ***Gravatar Christophe Raffalli2000-12-21
* 'goalsave -> 'proofGravatar David Aspinall2000-12-21
* *** empty log message ***Gravatar Christophe Raffalli2000-12-21
* Renamed fileGravatar David Aspinall2000-12-21
* Renamed fileGravatar David Aspinall2000-12-20
* *** 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-04-29 19:52:38 +0000