index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Set version tag for new release.
David Aspinall
2000-02-28
*
Todos for 3.1
David Aspinall
2000-02-28
*
Added some more projects
David Aspinall
2000-02-28
*
Added back ^G fix for Solaris, but not for non-mule FSF.
David Aspinall
2000-02-28
*
Add definition of warn function for FSF compatibility.
David Aspinall
2000-02-28
*
Set version tag for new release.
David Aspinall
2000-02-24
*
Add link to white paper.
David Aspinall
2000-02-24
*
Fix title
David Aspinall
2000-02-24
*
tuned electric-ignore;
Makarius Wenzel
2000-02-23
*
Typo
David Aspinall
2000-02-17
*
Set version tag for new release.
David Aspinall
2000-02-17
*
Added browser project
David Aspinall
2000-02-17
*
Typo
David Aspinall
2000-02-17
*
Fixup tar options
David Aspinall
2000-02-17
*
fix electric-ignore (due to DvO);
Makarius Wenzel
2000-02-15
*
Minor improvements
David Aspinall
2000-02-15
*
Minor improvements
David Aspinall
2000-02-15
*
More projects aded
David Aspinall
2000-02-15
*
Note about registering.
David Aspinall
2000-02-15
*
Rephrasing.
David Aspinall
2000-02-15
*
Set version tag for new release.
David Aspinall
2000-02-15
*
Canonical URL.
David Aspinall
2000-02-15
*
Switch to canonical URL (broken currently)
David Aspinall
2000-02-15
*
New canonical URL for PG.
David Aspinall
2000-02-15
*
New name for devel download page.
David Aspinall
2000-02-15
*
Remove duplicate entry.
David Aspinall
2000-02-15
*
New development pages added, more links
David Aspinall
2000-02-15
*
isar-tac-regexp: 'font-lock-reference-face;
Makarius Wenzel
2000-02-14
*
removed then_apply;
Makarius Wenzel
2000-02-14
*
option -x: enable x-symbol package;
Makarius Wenzel
2000-02-11
*
added "judgment";
Makarius Wenzel
2000-02-11
*
setup proof-shell-pre-interrupt-hook for Poly/ML;
Makarius Wenzel
2000-02-10
*
Added link to OMEGA.
David Aspinall
2000-02-09
*
Doc for proof-shell-pre-interrupt-hook
David Aspinall
2000-02-09
*
Improved download docs
David Aspinall
2000-02-09
*
Added note about countdown to 3.1
David Aspinall
2000-02-09
*
Set version tag for new release.
David Aspinall
2000-02-09
*
Direction to look at BUGS file
David Aspinall
2000-02-09
*
Added proof-shell-pre-interrupt-hook
David Aspinall
2000-02-09
*
tuned indentation code;
Makarius Wenzel
2000-02-09
*
added isar-keywords-qed-global, isar-global-save-command-regexp;
Makarius Wenzel
2000-02-09
*
added 'oops';
Makarius Wenzel
2000-02-09
*
fixed proof-shell-error-regexp;
Makarius Wenzel
2000-02-07
*
added prefer, defer;
Makarius Wenzel
2000-01-28
*
Set version tag for new release.
David Aspinall
2000-01-26
*
Notes about fix for problem with Emacs 20.5 reported by Pierre
David Aspinall
2000-01-25
*
Temporary fix for problem with Emacs 20.5 reported by Pierre
David Aspinall
2000-01-25
*
Set version tag for new release.
David Aspinall
2000-01-20
*
Fix to validator links
David Aspinall
2000-01-18
*
in url, change ~dcs7ttg to CARG, the permanent form
Paul Callaghan
2000-01-18
[next]