aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Updated.Gravatar David Aspinall2000-12-01
* Updated.Gravatar David Aspinall2000-12-01
* Change info globs to work with mandrakeGravatar David Aspinall2000-12-01
* Updated.Gravatar David Aspinall2000-12-01
* Set version tag for new release.Gravatar David Aspinall2000-12-01
* 3.2 -> 3.3preGravatar David Aspinall2000-12-01
* add rewrite listGravatar Christophe Raffalli2000-12-01
* *** empty log message ***Gravatar Christophe Raffalli2000-12-01
* fixed spelling;Gravatar Makarius Wenzel2000-11-27
* Continuing Coq V7 compatibility work, Begin Silent -> Set Silent, etc...Gravatar Pierre Courtieu2000-11-24
* Add a little change to coq-find-and-forget to work betterGravatar Pierre Courtieu2000-11-24
* Added proof-shell-match-pgip-cmdGravatar David Aspinall2000-11-24
* Update branchGravatar David Aspinall2000-11-24
* Added pg-xml-parse-string function.Gravatar David Aspinall2000-11-24
* Functions to process pgip commands.Gravatar David Aspinall2000-11-24
* I am starting to make PG coqV7 compatible, I think the best is toGravatar Pierre Courtieu2000-11-23
* disable trace option;Gravatar Makarius Wenzel2000-11-22
* converted from sh back to bash;Gravatar Makarius Wenzel2000-11-21
* Set version tag for new release.Gravatar David Aspinall2000-11-17
* Set version tag for new release.Gravatar David Aspinall2000-11-15
* *** empty log message ***Gravatar Christophe Raffalli2000-11-15
* *** empty log message ***Gravatar Christophe Raffalli2000-11-13
* *** empty log message ***Gravatar Christophe Raffalli2000-11-10
* tuned isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2000-10-31
* tuned font-lock-keywords;Gravatar Makarius Wenzel2000-10-30
* replaced \<macron> by \<inverse> (better than nothing);Gravatar Makarius Wenzel2000-10-30
* *** empty log message ***Gravatar Christophe Raffalli2000-10-30
* Ready for 3.2 changes.Gravatar David Aspinall2000-10-27
* *** empty log message ***Gravatar Christophe Raffalli2000-10-27
* *** empty log message ***Gravatar Christophe Raffalli2000-10-27
* font-lock support for antiquotations;Gravatar Makarius Wenzel2000-10-26
* *** empty log message ***Gravatar Christophe Raffalli2000-10-26
* *** empty log message ***Gravatar Christophe Raffalli2000-10-26
* Updated.Gravatar David Aspinall2000-10-19
* Set version tag for new release.Gravatar David Aspinall2000-10-19
* Second part of moving to 3.3pre series.Gravatar David Aspinall2000-10-19
* Updated.Gravatar David Aspinall2000-10-18
* Updated.Gravatar David Aspinall2000-10-18
* Set version tag for new release.Gravatar David Aspinall2000-10-18
* Begin move to 3.3 series.Gravatar David Aspinall2000-10-18
* Updated.Gravatar David Aspinall2000-10-18
* Set version tag for new release.Gravatar David Aspinall2000-10-18
* Fix parse error.Gravatar David Aspinall2000-10-18
* parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e);Gravatar Makarius Wenzel2000-10-14
* support for super- and subscripts (still needs proper per-proverGravatar Makarius Wenzel2000-10-12
* Updated.Gravatar David Aspinall2000-10-03
* Set version tag for new release.Gravatar David Aspinall2000-10-03
* Apparently X-Sym web pages have simpler install instructions now.Gravatar David Aspinall2000-10-03
* added settings: eta-contract, goals-limit, prems-limit;Gravatar Makarius Wenzel2000-10-02
* Removed link to CHANGES, its buggyGravatar David Aspinall2000-10-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 20:36:57 +0000