Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-100
-60
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
etc/isar-keywords.el
2010-09-20
wenzelm
updated keywords;
file
|
diff
|
annotate
2010-09-10
wenzelm
updated keywords;
file
|
diff
|
annotate
2010-08-31
blanchet
updated
file
|
diff
|
annotate
2010-08-27
wenzelm
discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure;
file
|
diff
|
annotate
2010-08-25
wenzelm
discontinued obsolete 'global' and 'local' commands;
file
|
diff
|
annotate
2010-08-17
wenzelm
updated keywords;
file
|
diff
|
annotate
2010-08-06
wenzelm
updated keywords;
file
|
diff
|
annotate
2010-07-27
wenzelm
explicit Keyword.control markup for various control commands -- to prevent them from occurring in proof documents;
file
|
diff
|
annotate
2010-07-27
wenzelm
updated keywords;
file
|
diff
|
annotate
2010-07-14
haftmann
added Isar syntax for code checking
file
|
diff
|
annotate
2010-07-12
wenzelm
removed unused/untested IOA 'automaton' package;
file
|
diff
|
annotate
2010-07-07
bulwahn
added the new command inductive_cases to derive simplification equations for inductive predicates; added binding simps for general simplification equation
file
|
diff
|
annotate
2010-06-02
wenzelm
updated keywords;
file
|
diff
|
annotate
2010-04-29
wenzelm
ProofContext.read_const: allow for type constraint (for fixed variable);
file
|
diff
|
annotate
2010-04-28
haftmann
updated keywords
file
|
diff
|
annotate
2010-04-28
wenzelm
updated keywords;
file
|
diff
|
annotate
2010-04-26
wenzelm
command 'example_proof' opens an empty proof body;
file
|
diff
|
annotate
2010-04-23
wenzelm
updated generated files;
file
|
diff
|
annotate
2010-04-16
wenzelm
updated keywords;
file
|
diff
|
annotate
2010-04-11
haftmann
updated keywords
file
|
diff
|
annotate
2010-03-01
wenzelm
updated generated files;
file
|
diff
|
annotate
2010-02-22
Cezary Kaliszyk
update the keywords files
file
|
diff
|
annotate
2010-02-19
haftmann
added code_abstype keyword
file
|
diff
|
annotate
2009-11-25
wenzelm
include HOL-SMT keywords;
file
|
diff
|
annotate
2009-11-23
wenzelm
updated keywords;
file
|
diff
|
annotate
2009-11-21
wenzelm
updated keywords;
file
|
diff
|
annotate
2009-11-14
wenzelm
include HOL-Boogie keywords by default;
file
|
diff
|
annotate
2009-11-14
wenzelm
updated keywords;
file
|
diff
|
annotate
2009-10-23
blanchet
updated keyword files to include "nitpick" and "nitpick_params"
file
|
diff
|
annotate
2009-09-29
ballarin
Propagation of mixins for interpretation; reactivated diagnostic command print_interps.
file
|
diff
|
annotate
2009-05-12
haftmann
updated keywords
file
|
diff
|
annotate
2009-05-11
haftmann
merged
file
|
diff
|
annotate
2009-05-11
bulwahn
fixed code_pred command
file
|
diff
|
annotate
2009-05-11
bulwahn
Added pred_code command
file
|
diff
|
annotate
2009-05-04
immler
updated generated files etc/isar-keywords.el and lib/jedit/isabelle.xml
file
|
diff
|
annotate
2009-04-02
wenzelm
updated keywords (with polyml-experimental);
file
|
diff
|
annotate
2009-03-27
wenzelm
updated keywords with polyml-experimental;
file
|
diff
|
annotate
2009-03-15
wenzelm
updated generated files;
file
|
diff
|
annotate
2009-03-11
wenzelm
updated generated files;
file
|
diff
|
annotate
2009-02-12
kleing
New command find_consts searching for constants by type (by Timothy Bourke).
file
|
diff
|
annotate
2009-01-21
wenzelm
updated generated files;
file
|
diff
|
annotate
2008-12-30
ballarin
Merged.
file
|
diff
|
annotate
2008-12-14
ballarin
Fixed legacy locale keywords (went to ZF rather than default keywords file).
file
|
diff
|
annotate
2008-12-15
wenzelm
updated generated files;
file
|
diff
|
annotate
2008-11-27
ballarin
Sublocale command.
file
|
diff
|
annotate
2008-11-06
ballarin
Keyword 'includes' gone.
file
|
diff
|
annotate
2008-10-21
berghofe
Added nominal_inductive2.
file
|
diff
|
annotate
2008-10-03
wenzelm
updated generated file;
file
|
diff
|
annotate
2008-09-17
wenzelm
updated generated file;
file
|
diff
|
annotate
2008-07-16
wenzelm
updated generated file;
file
|
diff
|
annotate
2008-07-14
wenzelm
updated generated file;
file
|
diff
|
annotate
2008-07-10
wenzelm
updated generated file;
file
|
diff
|
annotate
2008-07-08
wenzelm
updated generated file;
file
|
diff
|
annotate
2008-06-28
wenzelm
updated generated file;
file
|
diff
|
annotate
2008-06-14
wenzelm
updated generated file;
file
|
diff
|
annotate
2008-06-10
haftmann
updated
file
|
diff
|
annotate
2008-05-15
wenzelm
updated generated file;
file
|
diff
|
annotate
2008-04-19
wenzelm
updated generated file;
file
|
diff
|
annotate
2008-03-29
wenzelm
updated generated file;
file
|
diff
|
annotate
2008-03-25
wenzelm
*** empty log message ***
file
|
diff
|
annotate
less
more
(0)
-100
-60
tip