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/Doc/more_antiquote.ML
2018-02-23
wenzelm
added HOLogic.mk_obj_eq convenience and eliminated some clones;
file
|
diff
|
annotate
2018-01-25
wenzelm
clarified signature: items with \isasep are special;
file
|
diff
|
annotate
2018-01-19
wenzelm
adapted to a5ca98950a91;
file
|
diff
|
annotate
2018-01-18
wenzelm
clarified access to antiquotation options;
file
|
diff
|
annotate
2018-01-09
wenzelm
clarified modules;
file
|
diff
|
annotate
2016-07-24
haftmann
simplified
file
|
diff
|
annotate
2016-05-26
haftmann
corrected closure scope of static_conv_thingol;
file
|
diff
|
annotate
2016-05-09
wenzelm
clarified context, notably for internal use of Simplifier;
file
|
diff
|
annotate
2016-04-18
haftmann
fragment of a HOL type class primer
file
|
diff
|
annotate
2015-07-08
wenzelm
clarified context;
file
|
diff
|
annotate
2014-03-12
wenzelm
modernized setup;
file
|
diff
|
annotate
2014-01-01
haftmann
explicit distinction between empty code equations and no code equations, including convenient declaration attributes
file
|
diff
|
annotate
2013-04-10
wenzelm
more standard module name Axclass (according to file name);
file
|
diff
|
annotate
2012-08-28
wenzelm
renamed doc-src to src/Doc;
file
|
diff
|
annotate
|
base
less
more
(0)
tip