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
.
src/HOL/Eisbach/Tests.thy
2019-01-05
wenzelm
isabelle update -u control_cartouches;
file
|
diff
|
annotate
2018-10-31
wenzelm
clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
file
|
diff
|
annotate
2016-05-31
matichuk
allow multiple recursive methods to co-exist in order to support mutual recursion;
file
|
diff
|
annotate
2016-05-30
matichuk
apply current morphism to method text before evaluating;
file
|
diff
|
annotate
2016-01-06
wenzelm
more systematic treatment of dynamic facts, when forming closure;
file
|
diff
|
annotate
2016-01-05
wenzelm
added ML antiquotation @{method};
file
|
diff
|
annotate
2016-01-05
wenzelm
more realistic Eisbach method invocation from ML;
file
|
diff
|
annotate
2015-12-22
wenzelm
more standard nesting of sub-language: Parse.text allows atomic entities without quotes;
file
|
diff
|
annotate
2015-12-09
wenzelm
tuned;
file
|
diff
|
annotate
2015-10-06
wenzelm
fewer aliases for toplevel theorem statements;
file
|
diff
|
annotate
2015-05-17
wenzelm
updated Eisbach, using version 134bc592909c of its Bitbucket repository;
file
|
diff
|
annotate
2015-05-16
wenzelm
updated Eisbach, using version 4863020a8fe9 of its Bitbucket repository;
file
|
diff
|
annotate
2015-05-03
wenzelm
updated Eisbach, using version fb741500f533 of its Bitbucket repository;
file
|
diff
|
annotate
2015-04-30
wenzelm
updated Eisbach, using version 5df3d8c72403 of its Bitbucket repository;
file
|
diff
|
annotate
2015-04-17
wenzelm
added Eisbach, using version 3752768caa17 of its Bitbucket repository;
file
|
diff
|
annotate
less
more
(0)
tip