description"Misc Mercurial repositories"
ownerunknown
last changeThu, 18 Jul 2019 12:06:42 +0200
changes
4 days ago ago nipkow added forgotten declaration provided by Florian Haftmann default tip
5 days ago ago wenzelm merged;
5 days ago ago wenzelm updated to jedit_build-20190717: support more brackets;
5 days ago ago wenzelm updated to isabelle_fonts-20190717;
5 days ago ago wenzelm redundant;
5 days ago ago wenzelm tuned;
5 days ago ago wenzelm added \<llangle>, \<rrangle>;
5 days ago ago wenzelm tuned doc isar-ref;
5 days ago ago wenzelm added \<bbar>;
5 days ago ago wenzelm added \<sqdot>;
...
tags
7 weeks ago ago Isabelle2019
7 weeks ago ago Isabelle2019-RC4
8 weeks ago ago Isabelle2019-RC3
2 months ago ago Isabelle2019-RC2
2 months ago ago Isabelle2019-RC1
3 months ago ago Isabelle2019-RC0
11 months ago ago Isabelle2018
21 months ago ago Isabelle2017
2016-12-12 ago Isabelle2016-1
2016-02-15 ago Isabelle2016
...
branches
4 days ago ago 04f492d004fa default
...