| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | *** empty log message *** |  Christophe Raffalli | 2000-11-13 | |
| * | *** empty log message *** | Christophe Raffalli | 2000-11-10 | |
| * | tuned isar-goals-font-lock-keywords; |  Makarius Wenzel | 2000-10-31 | |
| * | tuned font-lock-keywords; | Makarius Wenzel | 2000-10-30 | |
| * | replaced \<macron> by \<inverse> (better than nothing); | Makarius Wenzel | 2000-10-30 | |
| * | *** empty log message *** | Christophe Raffalli | 2000-10-30 | |
| * | Ready for 3.2 changes. |  David Aspinall | 2000-10-27 | |
| * | *** empty log message *** | Christophe Raffalli | 2000-10-27 | |
| * | *** empty log message *** | Christophe Raffalli | 2000-10-27 | |
| * | font-lock support for antiquotations; | Makarius Wenzel | 2000-10-26 | |
| * | *** empty log message *** | Christophe Raffalli | 2000-10-26 | |
| * | *** empty log message *** | Christophe Raffalli | 2000-10-26 | |
| * | Updated. | David Aspinall | 2000-10-19 | |
| * | Set version tag for new release. | David Aspinall | 2000-10-19 | |
| * | Second part of moving to 3.3pre series. | David Aspinall | 2000-10-19 | |
| * | Updated. | David Aspinall | 2000-10-18 | |
| * | Updated. | David Aspinall | 2000-10-18 | |
| * | Set version tag for new release. | David Aspinall | 2000-10-18 | |
| * | Begin move to 3.3 series. | David Aspinall | 2000-10-18 | |
| * | Updated. | David Aspinall | 2000-10-18 | |
| * | Set version tag for new release. | David Aspinall | 2000-10-18 | |
| * | Fix parse error. | David Aspinall | 2000-10-18 | |
| * | parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e); | Makarius Wenzel | 2000-10-14 | |
| * | support for super- and subscripts (still needs proper per-prover | Makarius Wenzel | 2000-10-12 | |
| * | Updated. | David Aspinall | 2000-10-03 | |
| * | Set version tag for new release. | David Aspinall | 2000-10-03 | |
| * | Apparently X-Sym web pages have simpler install instructions now. | David Aspinall | 2000-10-03 | |
| * | added settings: eta-contract, goals-limit, prems-limit; | Makarius Wenzel | 2000-10-02 | |
| * | Removed link to CHANGES, its buggy | David Aspinall | 2000-10-02 | |
| * | Updated. | David Aspinall | 2000-10-02 | |
| * | Updated | David Aspinall | 2000-10-02 | |
| * | Remove more duplicate entries. | David Aspinall | 2000-10-02 | |
| * | 3-2-1 pending | David Aspinall | 2000-10-02 | |
| * | Warning about duplicate ChangeLog entries | David Aspinall | 2000-10-02 | |
| * | Tweak to ChangeLog production | David Aspinall | 2000-10-02 | |
| * | Remove duplicate entries. | David Aspinall | 2000-10-02 | |
| * | Updated. | David Aspinall | 2000-10-02 | |
| * | Mention Isabelle99-1 change | David Aspinall | 2000-10-02 | |
| * | Set version tag for new release. | David Aspinall | 2000-10-02 | |
| * | Whoops, left pre-release header in | David Aspinall | 2000-10-02 | |
| * | Upcoming patch anticipated already. | David Aspinall | 2000-10-02 | |
| * | Fix recursive make | David Aspinall | 2000-10-02 | |
| * | Updated. | David Aspinall | 2000-10-02 | |
| * | Set version tag for new release. | David Aspinall | 2000-10-02 | |
| * | Note about current pre-release being outdated wrt 3.2 | David Aspinall | 2000-10-02 | |
| * | Note about current pre-release being outdated wrt 3.2 | David Aspinall | 2000-10-02 | |
| * | Updated. | David Aspinall | 2000-10-02 | |
| * | Updated | David Aspinall | 2000-10-02 | |
| * | Remove ps and pdf for PG-adapting from distrib to redue size to normal propor... | David Aspinall | 2000-10-02 | |
| * | Updated. | David Aspinall | 2000-10-02 | |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |