descriptionThe Isabelle repository
ownerisabelle
last changeSun, 20 Sep 2020 15:45:25 +0100
changes
4 hours ago paulson 2020-09-20 merged default tip
4 hours ago paulson 2020-09-20 de-applying and simplifying
2 days ago nipkow 2020-09-18 tuned
2 days ago paulson 2020-09-18 removal of needless premises
3 days ago paulson 2020-09-17 merged
3 days ago paulson 2020-09-17 de-applying
3 days ago haftmann 2020-09-17 dropped junk
3 days ago haftmann 2020-09-17 typo
3 days ago haftmann 2020-09-17 NEWS and CONTRIBUTORS
3 days ago haftmann 2020-09-17 integrated generic conversions into word corpse
...
tags
5 months ago Isabelle2020
15 months ago Isabelle2019
2018-08-12 Isabelle2018
2017-10-04 Isabelle2017
2016-12-12 Isabelle2016-1
2016-02-15 Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
...
branches
4 hours ago 7e90e1d178b5 default
...