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 (
Expand
)
Author
Age
*
Fix compile warnings
David Aspinall
2009-09-07
*
Clean whitespace
David Aspinall
2009-09-05
*
Simplify Info-directory handling
David Aspinall
2009-09-04
*
Set version tag for new release.
David Aspinall
2009-09-01
*
Set version tag for new release.
David Aspinall
2009-08-31
*
Set version tag for new release.
David Aspinall
2009-08-28
*
Bump year
David Aspinall
2009-08-19
*
Set version tag for new release.
David Aspinall
2009-08-17
*
Set version tag for new release.
David Aspinall
2009-08-13
*
Set version tag for new release.
David Aspinall
2009-08-07
*
Set version tag for new release.
David Aspinall
2009-05-26
*
Set version tag for new release.
David Aspinall
2009-04-16
*
Set version tag for new release.
David Aspinall
2008-12-05
*
Set version tag for new release.
David Aspinall
2008-09-19
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Set version tag for new release.
David Aspinall
2008-07-24
*
Load proof-autoloads earlier
David Aspinall
2008-07-24
*
Set version tag for new release.
David Aspinall
2008-07-23
*
Set version tag for new release.
David Aspinall
2008-07-22
*
Set version tag for new release.
David Aspinall
2008-07-19
*
Set version tag for new release.
David Aspinall
2008-07-17
*
Set version tag for new release.
David Aspinall
2008-07-12
*
Set version tag for new release.
David Aspinall
2008-07-10
*
Set version tag for new release.
David Aspinall
2008-07-08
*
Set version tag for new release.
David Aspinall
2008-07-07
*
Set version tag for new release.
David Aspinall
2008-07-06
*
Set version tag for new release.
David Aspinall
2008-07-05
*
Set version tag for new release.
David Aspinall
2008-05-26
*
Set version tag for new release.
David Aspinall
2008-02-17
*
Set version tag for new release.
David Aspinall
2008-02-06
*
proof-ready-for-assistant: Only make ready for assistant once(!)
David Aspinall
2008-02-06
*
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-31
*
Set version tag for new release.
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
*
Enable Lego again, its needed for documentation(\!)
David Aspinall
2008-01-17
*
Set version tag for new release.
David Aspinall
2008-01-16
*
Set version tag for new release.
David Aspinall
2008-01-15
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Set version tag for new release.
David Aspinall
2007-12-14
*
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-12-10
*
Set version tag for new release.
David Aspinall
2007-11-12
*
Set version tag for new release.
David Aspinall
2007-10-25
[next]