Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
2014-05-19 tune
changeset
blanchet [Mon, 19 May 2014 23:43:53 +0200] rev 57006
tune
2014-05-19 store all MaSh data on the Isabelle side, in preparation for replacing 'mash.py' with ML solution
changeset
blanchet [Mon, 19 May 2014 23:43:53 +0200] rev 57005
store all MaSh data on the Isabelle side, in preparation for replacing 'mash.py' with ML solution
2014-05-19 trace windows uses search feature of Pretty_Text_Area;
changeset
Lars Hupel <lars.hupel@mytum.de> [Mon, 19 May 2014 19:17:15 +0200] rev 57004
trace windows uses search feature of Pretty_Text_Area; recursive invocations and intermediate steps are now shown in order; refinements to the exclusion of uninteresting subtraces in the output
2014-05-19 obsolete -- always pdf;
changeset
wenzelm [Mon, 19 May 2014 16:51:44 +0200] rev 57003
obsolete -- always pdf;
2014-05-19 prefer T1 with searchable underscore (requires proper cm-super fonts);
changeset
wenzelm [Mon, 19 May 2014 16:48:29 +0200] rev 57002
prefer T1 with searchable underscore (requires proper cm-super fonts);
2014-05-19 merged
changeset
wenzelm [Mon, 19 May 2014 16:14:08 +0200] rev 57001
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle