descriptionThe Isabelle repository
ownerisabelle
last changeMon, 22 Jan 2018 22:45:45 +0100
changes
16 hours ago Lars Hupel 2018-01-22 merged default tip
22 hours ago Lars Hupel 2018-01-22 drop redundant fundef_cong rule
23 hours ago Lars Hupel 2018-01-22 tuned
23 hours ago Lars Hupel 2018-01-22 repair malformed fundef_cong rule
23 hours ago nipkow 2018-01-22 removed duplicate
27 hours ago wenzelm 2018-01-22 tuned message: same error may occur in different contexts;
2 days ago wenzelm 2018-01-21 detect more errors;
2 days ago nipkow 2018-01-21 merged
2 days ago nipkow 2018-01-21 made sorted fun again
2 days ago nipkow 2018-01-20 imported patch sorted
...
tags
3 months ago Isabelle2017
13 months ago Isabelle2016-1
23 months ago Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
2013-01-08 build_history_base
2012-05-20 Isabelle2012
...
branches
16 hours ago 3d33847dc911 default
...