aboutsummaryrefslogtreecommitdiff
path: root/af2
AgeCommit message (Expand)Author
2000-12-01af2 is now called PhoXChristophe Raffalli
2000-12-01af2 is now called PhoXChristophe Raffalli
2000-12-01add rewrite listChristophe Raffalli
2000-12-01*** empty log message ***Christophe Raffalli
2000-11-15*** empty log message ***Christophe Raffalli
2000-11-13*** empty log message ***Christophe Raffalli
2000-11-10*** empty log message ***Christophe Raffalli
2000-10-30*** empty log message ***Christophe Raffalli
2000-10-27*** empty log message ***Christophe Raffalli
2000-10-26*** empty log message ***Christophe Raffalli
2000-10-02New fileDavid Aspinall
2000-09-18*** empty log message ***Christophe Raffalli
2000-09-15various fixes.Christophe Raffalli
2000-09-15major modifications including outline, atgs, ...Christophe Raffalli
2000-09-15outline minior mode definitions for af2Christophe Raffalli
2000-09-15font-lock and sym-lock definitions for af2Christophe Raffalli
2000-09-15tags functions for af2Christophe Raffalli
2000-09-15usefull function definitions for af2Christophe Raffalli
2000-09-13Add removal of state button as test example. Replace af2-with-xemacs -> proof...David Aspinall
2000-09-13Add trivial test command.David Aspinall
2000-09-12Rather empty example.David Aspinall
2000-09-12Add syntax config for block comments, and remove path from af2-prog-name.David Aspinall
2000-09-12New version sent by Christophe.David Aspinall
2000-09-11New prover, first bash.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:18:08 +0000