index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2000-03-08
Elaborated idea a bit
David Aspinall
2000-03-08
Hard sell on elisp.
David Aspinall
2000-03-08
Links to developers todo files and README added. Prerelversion notified.
David Aspinall
2000-03-08
Split low-level todo into several files.
David Aspinall
2000-03-08
Note about bug/fix with old Japan versions of CL macs.
David Aspinall
2000-03-08
File for developers to read.
David Aspinall
2000-03-08
Fix to warn function to use format args.
David Aspinall
2000-03-08
Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)
David Aspinall
2000-03-01
Fix parse error oops
David Aspinall
2000-03-01
Set version tag for new release.
David Aspinall
2000-03-01
Unify terminology.
David Aspinall
2000-03-01
New projects added
David Aspinall
2000-02-29
Set version tag for new release.
David Aspinall
2000-02-29
Updated
David Aspinall
2000-02-29
Forced process-connection-type always to nil, after all. May not be an issue...
David Aspinall
2000-02-29
Include html in a small page via this page.
David Aspinall
2000-02-29
Put projects onto separate pages.
David Aspinall
2000-02-29
New projects directory.
David Aspinall
2000-02-28
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-24
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-23
tuned electric-ignore;
Makarius Wenzel
2000-02-17
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-15
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-14
isar-tac-regexp: 'font-lock-reference-face;
Makarius Wenzel
2000-02-14
removed then_apply;
Makarius Wenzel
2000-02-11
option -x: enable x-symbol package;
Makarius Wenzel
2000-02-11
added "judgment";
Makarius Wenzel
2000-02-10
setup proof-shell-pre-interrupt-hook for Poly/ML;
Makarius Wenzel
[next]