Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Admin/update-keywords
2011-08-16
wenzelm
include HOL-Library keywords for the sake of recdef;
file
|
diff
|
annotate
2011-01-15
berghofe
Include HOL-SPARK
file
|
diff
|
annotate
2010-08-27
wenzelm
discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure;
file
|
diff
|
annotate
2010-07-12
wenzelm
removed unused/untested IOA 'automaton' package;
file
|
diff
|
annotate
2010-06-02
wenzelm
updated keywords;
file
|
diff
|
annotate
2009-11-25
wenzelm
include HOL-SMT keywords;
file
|
diff
|
annotate
2009-11-14
wenzelm
include HOL-Boogie keywords by default;
file
|
diff
|
annotate
2009-11-14
wenzelm
generate keywords for Emacs Proof General only;
file
|
diff
|
annotate
2008-10-04
wenzelm
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
file
|
diff
|
annotate
2008-10-03
wenzelm
removed HOL-Plain -- already included in HOL;
file
|
diff
|
annotate
2008-06-28
wenzelm
include HOL-Plain;
file
|
diff
|
annotate
2007-10-24
wenzelm
added HOL-Statespace session;
file
|
diff
|
annotate
2007-10-08
wenzelm
moved HOL-Nominal keywords into default collection (isar-keywords.el);
file
|
diff
|
annotate
2007-10-07
wenzelm
emacs vs. jedit;
file
|
diff
|
annotate
2007-10-06
wenzelm
use isatool keywords -- generate from logs instead of session images;
file
|
diff
|
annotate
2007-07-10
wenzelm
cd ISABELLE_HOME/etc;
file
|
diff
|
annotate
2006-11-11
wenzelm
Update standard keyword files.
file
|
diff
|
annotate
less
more
(0)
tip