aboutsummaryrefslogtreecommitdiff
path: root/phox
AgeCommit message (Expand)Author
2004-05-17first try to make x-symbol worksChristophe Raffalli
2004-04-16*** empty log message ***Christophe Raffalli
2004-04-16New files.David Aspinall
2004-04-14Updated.David Aspinall
2004-03-01Fix compiler warningsDavid Aspinall
2004-03-01Remove non-existent proof-state-command settingDavid Aspinall
2004-01-30updating for new PG versionChristophe Raffalli
2003-06-05Make find-and-forget robust for proverproc regionsDavid Aspinall
2003-02-15Fixes so that compile worksDavid Aspinall
2003-02-12change for version 0.83 of PhoXChristophe Raffalli
2002-08-29Remove mule-fonts thing, it breaks make magicDavid Aspinall
2002-08-29AF2 eradicateDavid Aspinall
2002-08-28Fix to calls on messageDavid Aspinall
2002-07-25change to support version 4.4 of x-symbolChristophe Raffalli
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-17Update versions/TODODavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-03-21*** empty log message ***Christophe Raffalli
2002-03-21added hook: proof-before-fontify-output-hookChristophe Raffalli
2002-03-05*** empty log message ***Christophe Raffalli
2002-01-17*** empty log message ***Christophe Raffalli
2001-09-03Add specific install instrs, rearrange.David Aspinall
2001-08-28Change of proof span type back to goalsaveDavid Aspinall
2001-07-25Various changes for win32 compatibilityChristophe Raffalli
2001-06-22*** empty log message ***Christophe Raffalli
2001-03-19*** empty log message ***Christophe Raffalli
2001-02-20*** empty log message ***Christophe Raffalli
2001-02-20*** empty log message ***Christophe Raffalli
2001-02-08*** empty log message ***Christophe Raffalli
2001-02-07*** empty log message ***Christophe Raffalli
2001-02-07*** empty log message ***Christophe Raffalli
2001-02-02*** empty log message ***Christophe Raffalli
2001-02-01*** 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'goalsave -> 'proofDavid Aspinall
2000-12-21*** empty log message ***Christophe Raffalli
2000-12-21Renamed fileDavid Aspinall
2000-12-20Renamed fileDavid Aspinall
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-01-31 12:21:46 +0000