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
...
*
(briefly) documented problem with sections in Coq
Thomas Kleymann
1998-11-10
*
documented problem with Discharge in LEGO
Thomas Kleymann
1998-11-10
*
Fixed bug for when proof-rsh-command is empty
David Aspinall
1998-11-10
*
Changed text ready for 2.0 release
David Aspinall
1998-11-10
*
Removed spurious fi
David Aspinall
1998-11-10
*
Added some support for making a full release. Must edit html by hand though.
David Aspinall
1998-11-10
*
Refresh response buffer when goals buffer is refreshed.
Thomas Kleymann
1998-11-10
*
Fixes for byte compilations and missing bits of Isamode.
David Aspinall
1998-11-10
*
Removed traces of support for Ruy's legogrep. This is superseded by legotags.
Thomas Kleymann
1998-11-10
*
introduced section for FSF Emacs
Thomas Kleymann
1998-11-10
*
Removed superfluous variable. Improved docstrings.
David Aspinall
1998-11-09
*
Added docstring
David Aspinall
1998-11-09
*
Updated user-view of our todo
David Aspinall
1998-11-09
*
More reorganization. Added content to Isabelle chapter, begun basic script.
David Aspinall
1998-11-09
*
Added proof-rsh-command to help complete documentation (was allocated
David Aspinall
1998-11-09
*
Added bug about FSFmacs/proof-strict-read-only=t/font-lock
David Aspinall
1998-11-09
*
Added proof-script-indent user option, to enable indentation code.
David Aspinall
1998-11-09
*
Added section on multiple files
Thomas Kleymann
1998-11-09
*
Added section on Isabelle specific bugs.
David Aspinall
1998-11-09
*
Reduced a priority. Added release todo
David Aspinall
1998-11-09
*
Added proof-strict-read-only, probably a handy new user-option.
David Aspinall
1998-11-09
*
Added acknowledgements to doc. Removed from code.
David Aspinall
1998-11-09
*
new maintainer for LEGO Proof General
Thomas Kleymann
1998-11-06
*
Added prefix arg to thy-find-other-file to use same window
David Aspinall
1998-11-06
*
(Failed) Attempt to recognize XEmacs with broken jpeg support
David Aspinall
1998-11-06
*
Added plea for help and made logo in intro only for HTML.
David Aspinall
1998-11-06
*
Nasty things no longer happen, can't load Proof General more than once
David Aspinall
1998-11-06
*
Give error message when attempting to load a second instance of Proof
David Aspinall
1998-11-06
*
completed chapter on Known bugs. However section on Isabelle Proof
Thomas Kleymann
1998-11-05
*
completed chapter on LEGO Proof General
Thomas Kleymann
1998-11-05
*
Set version tag for new release.
David Aspinall
1998-11-04
*
o consistent formatting of section headings
Thomas Kleymann
1998-11-04
*
Revised section on Advanced Script Management
Thomas Kleymann
1998-11-04
*
added a FIXME comment for non-pertinent buffers
Thomas Kleymann
1998-11-04
*
first draft of Advanced Script Management section; I assume there will
Thomas Kleymann
1998-11-04
*
Added key binding to switch between theory and ML files.
David Aspinall
1998-11-04
*
Added item for func-menu and proof-save-goal-with-hole-regexp
David Aspinall
1998-11-04
*
Reimplemented thy-find-other-file
David Aspinall
1998-11-04
*
Minor fixes
David Aspinall
1998-11-04
*
Being pedantic about variables versus predicates, renamed prog-name-ask-p.
David Aspinall
1998-11-03
*
Fixes and improvements
David Aspinall
1998-11-03
*
Added more content. Texi a Bit buggy
David Aspinall
1998-11-03
*
release now should make links to -latest names for fixed URLs. (needs testing)
David Aspinall
1998-11-03
*
Updated and improved.
David Aspinall
1998-11-03
*
Corrected credit for original texi
David Aspinall
1998-11-03
*
Added two new todos
David Aspinall
1998-11-03
*
Added docstring
David Aspinall
1998-11-03
*
Removed FIXME
David Aspinall
1998-11-03
*
Disabled annotated prompts because of strange bug.
David Aspinall
1998-11-03
*
Fixed multiple file bug
David Aspinall
1998-11-03
[prev]
[next]