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-autoloads.el
Commit message (
Expand
)
Author
Age
*
Remove mmm and ML4PG contribs and remove references to them in code and docs
Paul Steckler
2017-05-24
*
Change (eval-when (compile) ...) to (eval-when-compile ...)
Clément Pit--Claudel
2017-05-05
*
enable compilation of generic/proof-autoloads.el
Hendrik Tews
2012-04-19
*
Attempt to support stricter bytecomp flags
David Aspinall
2011-10-17
*
Remove dependency of pg-movie on pg-user
David Aspinall
2011-10-17
*
Add autoload.
David Aspinall
2011-06-09
*
Update autogenerated files
David Aspinall
2011-05-16
*
Update autoloads
David Aspinall
2011-05-12
*
Add additional support for pgipfloat type
David Aspinall
2011-01-11
*
Updated
David Aspinall
2010-10-10
*
Replace proof-terminal-char with proof-terminal-string.
David Aspinall
2010-08-27
*
Updated
David Aspinall
2010-08-23
*
Update
David Aspinall
2010-08-20
*
Updated
David Aspinall
2010-08-18
*
Support custom syntactic fontification. Split out pa macros.
David Aspinall
2010-08-11
*
Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.
David Aspinall
2010-08-03
*
Updated
David Aspinall
2009-12-04
*
Update
David Aspinall
2009-12-01
*
Replace proof-locked-end -> proof-unprocessed-begin
David Aspinall
2009-11-30
*
Updated
David Aspinall
2009-09-21
*
proof-unicode-tokens-enable: autoload so turning on Unicode tokens works
David Aspinall
2009-09-20
*
Updated
David Aspinall
2009-09-20
*
Updated
David Aspinall
2009-09-17
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Update autoloads
David Aspinall
2009-09-07
*
Updated
David Aspinall
2009-09-06
*
Update
David Aspinall
2009-09-05
*
Clean whitespace
David Aspinall
2009-09-05
*
Update autoloads
David Aspinall
2009-08-28
*
Update autoloads
David Aspinall
2009-07-30
*
Add back lost provide
David Aspinall
2008-07-24
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Remove mention of unicode-tokens2
David Aspinall
2008-07-16
*
Updated.
David Aspinall
2008-07-12
*
Updated.
David Aspinall
2008-02-06
*
Add autoload for proof-unicode-tokens-shell-config
David Aspinall
2008-01-28
*
Updated.
David Aspinall
2008-01-25
*
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
*
Compilation tweaks
David Aspinall
2008-01-16
*
Updated.
David Aspinall
2008-01-16
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Updated.
David Aspinall
2008-01-05
*
Updated.
David Aspinall
2007-12-13
*
Additions for maths menu
David Aspinall
2007-12-12
*
Add buffer history browsing
David Aspinall
2006-09-24
*
Updated.
David Aspinall
2005-05-17
*
Updated.
David Aspinall
2004-11-30
*
Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.
David Aspinall
2003-02-19
*
Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or
David Aspinall
2003-02-19
[next]