description"Misc Mercurial repositories"
ownerunknown
last changeTue, 11 Aug 2020 19:01:31 +0200
changes
2 days ago ago wenzelm updated to polyml-test-f54aa41240d0; default tip
2 days ago ago wenzelm back to polyml-5.8.1 due to ML compiler crash in HOL-Codegenerator_Test;
2 days ago ago wenzelm updated to polyml-test-159dc81efc3b;
3 days ago ago haftmann dedicated symbols for code generation, to pave way for generic conversions from and to word
3 days ago ago haftmann consolidated names
3 days ago ago haftmann reduced prominence od theory Bits_Int
4 days ago ago paulson one last lemma about Total and Restr
4 days ago ago paulson adjustments for fewer WO assumptions
4 days ago ago paulson elimination of some needless assumptions
4 days ago ago paulson merged
...
tags
4 months ago ago Isabelle2020
5 months ago ago Isabelle2020-RC1
6 months ago ago Isabelle2020-RC0
14 months ago ago Isabelle2019
15 months ago ago Isabelle2019-RC2
15 months ago ago Isabelle2019-RC1
16 months ago ago Isabelle2019-RC0
2018-08-12 ago Isabelle2018
2017-10-04 ago Isabelle2017
2016-12-12 ago Isabelle2016-1
...
branches
2 days ago ago c500f6c86e86 default
...