Commit message (Expand) | Author | Age | |
---|---|---|---|
* | New files. | David Aspinall | 2004-04-22 |
* | Set version tag for new release. | David Aspinall | 2004-04-21 |
* | Updated. | David Aspinall | 2004-04-21 |
* | Updated. | David Aspinall | 2004-04-21 |
* | Set version tag for new release. | David Aspinall | 2004-04-18 |
* | Set version tag for new release. | David Aspinall | 2004-04-18 |
* | Set version tag for new release. | David Aspinall | 2004-04-18 |
* | Updated. | David Aspinall | 2004-04-18 |
* | Set version tag for new release. | David Aspinall | 2004-04-17 |
* | Set version tag for new release. | David Aspinall | 2004-04-17 |
* | Updated. | David Aspinall | 2004-04-17 |
* | Updated. | David Aspinall | 2004-04-17 |
* | Set version tag for new release. | David Aspinall | 2004-04-17 |
* | Updated. | David Aspinall | 2004-04-16 |
* | Set version tag for new release. | David Aspinall | 2004-04-16 |
* | Updated. | David Aspinall | 2004-04-16 |
* | Updated. | David Aspinall | 2004-04-16 |
* | Set version tag for new release. | David Aspinall | 2004-04-15 |
* | Updated. | David Aspinall | 2004-04-15 |
* | Updated. | David Aspinall | 2004-04-15 |
* | New files. | David Aspinall | 2004-04-14 |
* | New files. | David Aspinall | 2004-04-14 |
* | Updated. | David Aspinall | 2004-04-14 |
* | Set version tag for new release. | David Aspinall | 2004-04-14 |
* | Fix version number notes. | David Aspinall | 2004-04-14 |
* | Write summary of changes. | David Aspinall | 2004-04-14 |
* | Set version tag for new release. | David Aspinall | 2004-04-06 |
* | Set version tag for new release. | David Aspinall | 2004-04-05 |
* | new test case for \<^isub> | Gerwin Klein | 2004-04-05 |
* | More sub/super examples. | David Aspinall | 2004-04-02 |
* | Add extra term test -- shows up current bug | David Aspinall | 2004-04-02 |
* | More comments/test printing. | David Aspinall | 2004-04-02 |
* | Add test of spanning sup/sub | David Aspinall | 2004-04-02 |
* | Set version tag for new release. | David Aspinall | 2004-04-02 |
* | Set version tag for new release. | David Aspinall | 2004-03-23 |
* | Fix info install | David Aspinall | 2004-03-02 |
* | Set version tag for new release. | David Aspinall | 2004-03-02 |
* | Fix domain. | David Aspinall | 2004-03-02 |
* | Purge proofgeneral.org | David Aspinall | 2004-03-02 |
* | Fix/simplify documentation. | David Aspinall | 2004-03-01 |
* | Tweak desktop integration; add application-registry. | David Aspinall | 2004-03-01 |
* | New file | David Aspinall | 2004-03-01 |
* | Simplify make call | David Aspinall | 2004-03-01 |
* | fix syntax | David Aspinall | 2004-03-01 |
* | Add emacs-elc and xemacs-elc sub-packages. | David Aspinall | 2004-02-29 |
* | Updated. | David Aspinall | 2004-02-29 |
* | Test cases for Coq indentation. | David Aspinall | 2004-02-29 |
* | Extend notes. | David Aspinall | 2004-02-28 |
* | New files. | David Aspinall | 2004-02-28 |
* | Update desktop support to freedesktop.org standards. | David Aspinall | 2004-02-28 |