index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-site.el
Commit message (
Collapse
)
Author
Age
*
Set version tag for new release.
David Aspinall
2000-07-26
|
*
proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;
Makarius Wenzel
2000-07-20
|
*
Set version tag for new release.
David Aspinall
2000-07-16
|
*
Set version tag for new release.
David Aspinall
2000-07-13
|
*
Set version tag for new release.
David Aspinall
2000-07-12
|
*
Set version tag for new release.
David Aspinall
2000-07-05
|
*
Set version tag for new release.
David Aspinall
2000-07-04
|
*
Set version tag for new release.
David Aspinall
2000-07-03
|
*
Set version tag for new release.
David Aspinall
2000-06-29
|
*
Set version tag for new release.
David Aspinall
2000-06-27
|
*
Set version tag for new release.
David Aspinall
2000-06-22
|
*
Set version tag for new release.
David Aspinall
2000-06-19
|
*
Set version tag for new release.
David Aspinall
2000-06-16
|
*
Set version tag for new release.
David Aspinall
2000-06-09
|
*
Set version tag for new release.
David Aspinall
2000-06-06
|
*
Set version tag for new release.
David Aspinall
2000-06-01
|
*
Set version tag for new release.
David Aspinall
2000-05-30
|
*
Set version tag for new release.
David Aspinall
2000-05-29
|
*
Only extend the load path if necessary
David Aspinall
2000-05-26
|
*
Set version tag for new release.
David Aspinall
2000-05-25
|
*
Set version tag for new release.
David Aspinall
2000-05-17
|
*
Set version tag for new release.
David Aspinall
2000-05-16
|
*
Added proof-ready-for-assistant function to help docstring magic.
David Aspinall
2000-05-16
|
*
Comment added
David Aspinall
2000-05-16
|
*
Set version tag for new release.
David Aspinall
2000-05-11
|
*
Fix for funnily named provers (Isabelle/Isar) and Emacs compatibility.
David Aspinall
2000-05-11
|
*
Set version tag for new release.
David Aspinall
2000-05-09
|
*
Fixup loading.
David Aspinall
2000-05-09
|
*
Remove use of cl. Add require on proof-autoloads.
David Aspinall
2000-05-09
|
*
Set version tag for new release.
David Aspinall
2000-05-05
|
*
Added variables for customization groups so they can be set automatically.
David Aspinall
2000-05-05
|
*
Set version tag for new release.
David Aspinall
2000-05-01
|
*
Set version tag for new release.
David Aspinall
2000-04-28
|
*
Set version tag for new release.
David Aspinall
2000-04-26
|
*
Set version tag for new release.
David Aspinall
2000-04-07
|
*
Set version tag for new release.
David Aspinall
2000-04-04
|
*
Set version tag for new release.
David Aspinall
2000-04-04
|
*
Set version tag for new release.
David Aspinall
2000-03-24
|
*
Set version tag for new release.
David Aspinall
2000-03-24
|
*
Set version tag for new release.
David Aspinall
2000-03-23
|
*
Set version tag for new release.
David Aspinall
2000-03-23
|
*
Set version tag for new release.
David Aspinall
2000-03-22
|
*
Set version tag for new release.
David Aspinall
2000-03-19
|
*
proof-assistant-table: fixed spelling of comment;
Makarius Wenzel
2000-03-17
|
*
Set version tag for new release.
David Aspinall
2000-03-14
|
*
Set version tag for new release.
David Aspinall
2000-03-13
|
*
Set version tag for new release.
David Aspinall
2000-03-10
|
*
Set version tag for new release.
David Aspinall
2000-03-09
|
*
Added support for HOL98 PG.
David Aspinall
2000-03-09
|
*
Set version tag for new release.
David Aspinall
2000-03-08
|
[next]