| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-08-29 | Add Stefan Monnier | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Remove proof-splash-extensions | David Aspinall |
| 2002-08-29 | Try to avoid old setting proof-splash-extensions. | David Aspinall |
| 2002-08-29 | Make proof-splash-extensions defconst instead of defcustom | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Remove isabelle logo | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Deleted files. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Remove mule-fonts thing, it breaks make magic | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Use tarfile | David Aspinall |
| 2002-08-29 | Fix typo | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Set version tag for new release. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Deleted files. | David Aspinall |
| 2002-08-29 | Remove isabelle image from splash screen | David Aspinall |
| 2002-08-29 | Observe EMACS environment variable | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Remove bogus file | David Aspinall |
| 2002-08-29 | Update comment | David Aspinall |
| 2002-08-29 | Remove development note | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Missing mkdir | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Set version tag for new release. | David Aspinall |
| 2002-08-29 | pre 3.4 -> 3.5 | David Aspinall |
| 2002-08-29 | Set version tag for new release. | David Aspinall |
| 2002-08-29 | Updated | David Aspinall |
| 2002-08-29 | Support dekstop entries for KDE and GNOME, tested in RedHat 7.3 | David Aspinall |
| 2002-08-29 | Desktop file for KDE. | David Aspinall |
| 2002-08-29 | Search for isabelle binary in standard places. | David Aspinall |
| 2002-08-29 | Add additional path to proof-locate-executable. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Set version tag for new release. | David Aspinall |
| 2002-08-29 | Set version tag for new release. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Updating branch | David Aspinall |
| 2002-08-29 | Updating branch for new version number. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | New files. | David Aspinall |
| 2002-08-29 | Set version tag for new release. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |