aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Nested proof spans are duplicableGravatar David Aspinall2001-09-04
* Add experimental features settingGravatar David Aspinall2001-09-04
* Delete rogue elcsGravatar David Aspinall2001-09-04
* UpdatesGravatar David Aspinall2001-09-04
* tuned;Gravatar Makarius Wenzel2001-09-04
* no need to adjust the path to bash on the first line (due to /usr/bin/env);Gravatar Makarius Wenzel2001-09-04
* Updated.Gravatar David Aspinall2001-09-03
* TextGravatar David Aspinall2001-09-03
* Trim dupsGravatar David Aspinall2001-09-03
* Add authorGravatar David Aspinall2001-09-03
* UpdatedGravatar David Aspinall2001-09-03
* Accidental commit; revert to original.Gravatar David Aspinall2001-09-03
* Set proof-goal-with-hole-regexpGravatar David Aspinall2001-09-03
* Change colour of locked region.Gravatar David Aspinall2001-09-03
* Fix bracket bug.Gravatar David Aspinall2001-09-03
* Show/hide all proofs: add redisplay for FSFGravatar David Aspinall2001-09-03
* Use pg-set-span-helphightlights for unhighlighting.Gravatar David Aspinall2001-09-03
* Generalise context menu for other spans; grey out show/hide when unavailable.Gravatar David Aspinall2001-09-03
* Join parasGravatar David Aspinall2001-09-03
* Updated.Gravatar David Aspinall2001-09-03
* TextGravatar David Aspinall2001-09-03
* Fix link to screenshotGravatar David Aspinall2001-09-03
* Improve layoutGravatar David Aspinall2001-09-03
* Update version numbers, time stamps.Gravatar David Aspinall2001-09-03
* Typo. Update Emacs version to 20.7.Gravatar David Aspinall2001-09-03
* Updated.Gravatar David Aspinall2001-09-03
* Update branchGravatar David Aspinall2001-09-03
* PHP fileGravatar David Aspinall2001-09-03
* Renamed fileGravatar David Aspinall2001-09-03
* Set version tag for new release.Gravatar David Aspinall2001-09-03
* Please try devel versionGravatar David Aspinall2001-09-03
* Accidental update; revert to previousGravatar David Aspinall2001-09-03
* RearrangeGravatar David Aspinall2001-09-03
* Updating branchGravatar David Aspinall2001-09-03
* Note of what to doGravatar David Aspinall2001-09-03
* FormattingGravatar David Aspinall2001-09-03
* Mention hiding proofs.Gravatar David Aspinall2001-09-03
* Add specific READMEs.Gravatar David Aspinall2001-09-03
* Note of secure alt to no passwordGravatar David Aspinall2001-09-03
* Ready for releaseGravatar David Aspinall2001-09-03
* Update for 3.3Gravatar David Aspinall2001-09-03
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* Move specific install instructions into subdirsGravatar David Aspinall2001-09-03
* Add settings for testing trace buffers.Gravatar David Aspinall2001-09-03
* Note about tracing buffers for developersGravatar David Aspinall2001-09-03
* Added handling of tracing buffers using proof-shell-spill-output-regexp.Gravatar David Aspinall2001-09-03
* Added proof-shell-spill-output-regexpGravatar David Aspinall2001-09-03
* Updated.Gravatar David Aspinall2001-09-02
* Set version tag for new release.Gravatar David Aspinall2001-09-02
* handle relative heap paths gracefully;Gravatar Makarius Wenzel2001-08-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 22:06:14 +0000