index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
generic
/
proof-site.el
Age
Commit message (
Expand
)
Author
2008-02-06
Set version tag for new release.
David Aspinall
2008-02-06
proof-ready-for-assistant: Only make ready for assistant once(!)
David Aspinall
2008-01-31
Set version tag for new release.
David Aspinall
2008-01-31
Set version tag for new release.
David Aspinall
2008-01-31
Move version check in case proof-site.el is loaded, not proof-site.elc
David Aspinall
2008-01-30
Set version tag for new release.
David Aspinall
2008-01-29
Set version tag for new release.
David Aspinall
2008-01-27
Set version tag for new release.
David Aspinall
2008-01-25
Set version tag for new release.
David Aspinall
2008-01-24
Set version tag for new release.
David Aspinall
2008-01-17
Set version tag for new release.
David Aspinall
2008-01-17
Enable Lego again, its needed for documentation(\!)
David Aspinall
2008-01-16
Set version tag for new release.
David Aspinall
2008-01-15
Set version tag for new release.
David Aspinall
2008-01-15
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2007-12-14
Set version tag for new release.
David Aspinall
2007-12-10
proof-general-version-year: update
David Aspinall
2007-12-10
Fix some compile warnings: use of error, customization groups
David Aspinall
2007-12-10
Set version tag for new release.
David Aspinall
2007-11-12
Set version tag for new release.
David Aspinall
2007-10-25
Set version tag for new release.
David Aspinall
2007-09-10
Set version tag for new release.
David Aspinall
2007-08-19
Set version tag for new release.
David Aspinall
2007-07-04
Set version tag for new release.
David Aspinall
2007-06-19
Set version tag for new release.
David Aspinall
2007-06-10
Set version tag for new release.
David Aspinall
2007-06-08
Set version tag for new release.
David Aspinall
2007-06-05
Set version tag for new release.
David Aspinall
2007-05-10
Set version tag for new release.
David Aspinall
2007-03-12
Set version tag for new release.
David Aspinall
2007-03-04
Set version tag for new release.
David Aspinall
2007-03-03
Set version tag for new release.
David Aspinall
2007-03-03
Set version tag for new release.
David Aspinall
2007-01-09
Set version tag for new release.
David Aspinall
2006-12-20
Set version tag for new release.
David Aspinall
2006-12-11
Set version tag for new release.
David Aspinall
2006-12-07
removed obsolete references to 'isa';
Makarius Wenzel
2006-11-07
Set version tag for new release.
David Aspinall
2006-10-27
Set version tag for new release.
David Aspinall
2006-09-24
Set version tag for new release.
David Aspinall
2006-09-22
Set version tag for new release.
David Aspinall
2006-09-22
Updated.
David Aspinall
2006-09-12
Set version tag for new release.
David Aspinall
2006-09-09
Set version tag for new release.
David Aspinall
2006-09-07
Set version tag for new release.
David Aspinall
2006-08-28
Set version tag for new release.
David Aspinall
2006-05-26
Set version tag for new release.
David Aspinall
2006-02-14
Set version tag for new release.
David Aspinall
2005-10-04
Set version tag for new release.
David Aspinall
2005-09-30
Set version tag for new release.
David Aspinall
[prev]
[next]