Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Set version tag for new release. | David Aspinall | 2000-11-17 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-11-15 |
| | |||
* | *** empty log message *** | Christophe Raffalli | 2000-11-15 |
| | |||
* | *** 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 |
| | | | | control of x-symbol-subscripts variable); | ||
* | 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 |
| |