| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2001-08-03 | Fix screenshot link | David Aspinall | |
| 2001-08-01 | Update last updated, copyright | David Aspinall | |
| 2001-08-01 | Formatting | David Aspinall | |
| 2001-08-01 | Update for 3.3 | David Aspinall | |
| 2001-08-01 | Updated. | David Aspinall | |
| 2001-08-01 | Fix links to gallery | David Aspinall | |
| 2001-08-01 | Deleted files. | David Aspinall | |
| 2001-08-01 | Renamed file | David Aspinall | |
| 2001-08-01 | Moved to .php | David Aspinall | |
| 2001-08-01 | Fix typo | David Aspinall | |
| 2001-08-01 | Renamed file | David Aspinall | |
| 2001-08-01 | Added news | David Aspinall | |
| 2001-08-01 | Updated. | David Aspinall | |
| 2001-08-01 | Set version tag for new release. | David Aspinall | |
| 2001-08-01 | Regenerate to remove Christophes patch | David Aspinall | |
| 2001-08-01 | Moved compat hack to proof-site | David Aspinall | |
| 2001-08-01 | Revert to removing and re-adding specifiers for toolbar, | David Aspinall | |
| so that enablers work at least as well as they did before... | |||
| 2001-08-01 | Add a dummy version of package-provide for FSFEmacs. | David Aspinall | |
| 2001-07-25 | *** empty log message *** | Christophe Raffalli | |
| 2001-07-25 | *** empty log message *** | Christophe Raffalli | |
| 2001-07-25 | Various changes for win32 compatibility | Christophe Raffalli | |
| 2001-07-23 | Updated. | David Aspinall | |
| 2001-07-23 | Set version tag for new release. | David Aspinall | |
| 2001-07-23 | Prevent error msg in proof-display-some-buffers if response dead. | David Aspinall | |
| 2001-07-23 | Bug report from Robert Schneck. Make proof-shell-restart start shell. ↵ | David Aspinall | |
| Goals display convention, not hack. | |||
| 2001-07-09 | Updated. | David Aspinall | |
| 2001-07-09 | TODO for proof-ass fixing added. | David Aspinall | |
| 2001-07-09 | Set version tag for new release. | David Aspinall | |
| 2001-07-09 | Clean for compile | David Aspinall | |
| 2001-07-09 | Clean for compile: new autload | David Aspinall | |
| 2001-07-09 | Refresh | David Aspinall | |
| 2001-07-09 | Clean-up compile | David Aspinall | |
| 2001-07-09 | Add require for arch flags, cleaner compilation. | David Aspinall | |
| 2001-07-09 | Fix some bugs shown by byte comp | David Aspinall | |
| 2001-07-09 | Updated autoloads | David Aspinall | |
| 2001-07-09 | Package file (old attempt -- not working) | David Aspinall | |
| 2001-06-22 | *** empty log message *** | Christophe Raffalli | |
| 2001-05-29 | Fix Coq link. | David Aspinall | |
| 2001-05-29 | Updated. | David Aspinall | |
| 2001-05-29 | Set version tag for new release. | David Aspinall | |
| 2001-05-29 | Remove extra proof." | David Aspinall | |
| 2001-05-29 | Display screen only if called interactively | David Aspinall | |
| 2001-05-29 | AF2 -> PhoX name change | David Aspinall | |
| 2001-05-29 | Add REGISTER to doc files. | David Aspinall | |
| 2001-05-29 | Date 2001 | David Aspinall | |
| 2001-05-29 | Fix layout and typo. | David Aspinall | |
| 2001-05-29 | Include PHP file | David Aspinall | |
| 2001-05-29 | Note about mailing list and registration. | David Aspinall | |
| 2001-05-29 | Renamed file | David Aspinall | |
| 2001-05-29 | PHP version. Also dont mention junk filters. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |