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
...
*
Updated for 3.1 release
David Aspinall
2000-03-23
*
Updated to add me.
David Aspinall
2000-03-23
*
Fix for XEmacs note
David Aspinall
2000-03-23
*
Added zip file build
David Aspinall
2000-03-23
*
Updated for 3.1
David Aspinall
2000-03-23
*
Made magic.
David Aspinall
2000-03-23
*
Hooray, I proved a theorem.
David Aspinall
2000-03-23
*
Updated for 3.1, removed appendix.
David Aspinall
2000-03-23
*
3.1 available now
David Aspinall
2000-03-23
*
Fix name of HOL98.
David Aspinall
2000-03-23
*
Notes about using on Windows
David Aspinall
2000-03-23
*
3.0 becomes an old release.
David Aspinall
2000-03-23
*
Remove attempts at elisp markup, screwy regexps somewhere or php buggy.
David Aspinall
2000-03-23
*
Updated Isabelle home page.
David Aspinall
2000-03-23
*
Updated, split by Emacs-specificity
David Aspinall
2000-03-23
*
Let Windows use the toolbar too.
David Aspinall
2000-03-23
*
added 'moreover';
Makarius Wenzel
2000-03-23
*
Set version tag for new release.
David Aspinall
2000-03-22
*
Updated todo's.
David Aspinall
2000-03-22
*
Updated and cleaned up
David Aspinall
2000-03-22
*
Updated and cleaned up
David Aspinall
2000-03-22
*
Fix for activating multiple frames when no active scripting buffer.
David Aspinall
2000-03-22
*
Bug fix for electric terminator used inside locked region.
David Aspinall
2000-03-22
*
Rename proof-shell-string-escapes -> proof-shell-filename-escapes
David Aspinall
2000-03-22
*
Set proof-shell-filename-escapes, switch back to %s
David Aspinall
2000-03-22
*
Notes about strange filenames
David Aspinall
2000-03-22
*
Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...
David Aspinall
2000-03-22
*
Use proof-format-filename instead of format on cmds with file parameter.
David Aspinall
2000-03-22
*
Added todo.
David Aspinall
2000-03-22
*
Comment about tripping bug in Isabelle
David Aspinall
2000-03-22
*
Document use of %e in proof-shell-inform-file-{processed,retracted}-cmd.
David Aspinall
2000-03-22
*
Fix other file commands to use %e substitution.
David Aspinall
2000-03-22
*
Added test files to check stupid filename for directories.
David Aspinall
2000-03-22
*
Use new format character %s to %e to cope with nasty filenames with backslashes.
David Aspinall
2000-03-22
*
docstring
David Aspinall
2000-03-22
*
Added utility functions proof-format, proof-format-filename.
David Aspinall
2000-03-22
*
Added new customization: proof-shell-string-escapes.
David Aspinall
2000-03-22
*
Mention %e in doc for proof-shell-cd-cmd.
David Aspinall
2000-03-22
*
Added new customization: proof-shell-string-escapes.
David Aspinall
2000-03-22
*
Suggest links on same page.
David Aspinall
2000-03-22
*
transparent cd;
Makarius Wenzel
2000-03-22
*
removed "thence";
Makarius Wenzel
2000-03-19
*
Remove comma from section heading, bad for info.
David Aspinall
2000-03-19
*
Set version tag for new release.
David Aspinall
2000-03-19
*
Added proof-{mode}-font-lock-keywords configuration settings (used by easy-co...
David Aspinall
2000-03-19
*
Altered syntax a little bit so reset works for Section.
David Aspinall
2000-03-19
*
Updated.
David Aspinall
2000-03-19
*
Updated
David Aspinall
2000-03-19
*
Ack ETL
David Aspinall
2000-03-19
*
Comment
David Aspinall
2000-03-19
[prev]
[next]