Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-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
.
2010-11-10
wenzelm
merged
changeset
|
files
2010-11-10
blanchet
make SML/NJ happy
changeset
|
files
2010-11-09
haftmann
merged
changeset
|
files
2010-11-09
haftmann
slightly changed fun_map_def
changeset
|
files
2010-11-09
haftmann
fun_rel_def is no simp rule by default
changeset
|
files
2010-11-09
haftmann
more appropriate specification packages; fun_rel_def is no simp rule by default
changeset
|
files
2010-11-09
haftmann
type annotations in specifications; fun_rel_def is no simp rule by default; slightly changed fun_map_def; more on predicates on relation functions; proper HOL equations in definitions
changeset
|
files
2010-11-09
haftmann
more appropriate specification packages; fun_rel_def is no simp rule by default
changeset
|
files
2010-11-09
haftmann
type annotations in specifications; fun_rel_def is no simp rule by default
changeset
|
files
2010-11-09
haftmann
fun_rel_def is no simp rule by default
changeset
|
files
2010-11-09
paulson
merged
changeset
|
files
2010-11-09
paulson
tidied using metis
changeset
|
files
2010-11-10
wenzelm
manage folding via sidekick by default;
changeset
|
files
2010-11-10
wenzelm
eliminated obsolete heading category -- superseded by heading_level;
changeset
|
files
2010-11-10
wenzelm
treat main theory commands like headings, and nest anything else inside;
changeset
|
files
2010-11-10
wenzelm
proper treatment of equal heading level;
changeset
|
files
2010-11-10
wenzelm
added missing Keyword.THY_SCHEMATIC_GOAL;
changeset
|
files
2010-11-10
wenzelm
default Sidekick parser based on section headings;
changeset
|
files
2010-11-10
wenzelm
some support for nested source structure, based on section headings;
changeset
|
files
2010-11-10
wenzelm
tuned;
changeset
|
files
2010-11-09
wenzelm
misc tuning and simplification, using Isabelle_Sidekick.Asset (not sidekick.Asset, which is dynamically dispatched to slightly different semantics);
changeset
|
files
2010-11-09
wenzelm
updated version;
changeset
|
files
2010-11-09
wenzelm
private counter, to keep externalized ids a bit smaller;
changeset
|
files
2010-11-09
wenzelm
added general Synchronized.counter convenience;
changeset
|
files
2010-11-09
wenzelm
explicitly identify forked/joined tasks;
changeset
|
files
2010-11-09
wenzelm
accomodate old manuals that include pdfsetup.sty without isabelle.sty;
changeset
|
files
2010-11-09
wenzelm
merged
changeset
|
files
2010-11-08
krauss
removed type-inference-like behaviour from relation_tac completely; tuned
changeset
|
files
2010-11-08
wenzelm
avoid clash of \<upharpoonright> vs. \<restriction> (cf. 666ea7e62384 and 3c49dbece0a8);
changeset
|
files
2010-11-08
wenzelm
explicitly check uniqueness of symbol recoding;
changeset
|
files
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip