Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
Removed inst_morphism'; satisfy_thm avoids compose.
2007-11-05, by ballarin
Interpretation with named equations.
2007-11-05, by ballarin
Type instance of thm mk_left_commute in locales.
2007-11-05, by ballarin
Tests enforce proper export behaviour.
2007-11-05, by ballarin
removed advanced recdef section and replaced it by citation of Alex's tutorial.
2007-11-05, by nipkow
fix
2007-11-05, by nipkow
no Gencode.ML
2007-11-05, by obua
changed "treemap" example to "mirror"
2007-11-05, by krauss
added lemmas
2007-11-05, by nipkow
replaced cc/ld phase by PolyML.SaveState.saveState (potentially more efficient);
2007-11-04, by wenzelm
removed obsolete ProofGeneral/parsing.ML;
2007-11-04, by wenzelm
activated new script parser;
2007-11-04, by wenzelm
Output.add_mode default prevents escapes from ProofGeneral mode;
2007-11-04, by wenzelm
added ProofGeneral/pgml_isabelle.ML;
2007-11-04, by wenzelm
the all-important ML antiquotations are back;
2007-11-04, by wenzelm
generic tactic Method.intros_tac
2007-11-02, by haftmann
clarified theory target interface
2007-11-02, by haftmann
more precise treatment of prove_subclass
2007-11-02, by haftmann
proper reinitialisation after subclass
2007-11-02, by haftmann
clarified
2007-11-02, by haftmann
tweaked
2007-11-02, by paulson
recdef to fun
2007-11-02, by paulson
*** empty log message ***
2007-11-02, by nipkow
Added reference to Jeremy Dawson's paper on the word library.
2007-11-02, by kleing
recdef -> fun
2007-11-02, by nipkow
added Fun
2007-11-02, by nipkow
tuned
2007-11-02, by haftmann
recdef -> fun
2007-11-01, by nipkow
*** empty log message ***
2007-11-01, by nipkow
Catch exceptions arising during the abstraction operation.
2007-10-31, by paulson
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip