descriptionThe Isabelle repository
ownerisabelle
last changeSun, 21 Jan 2018 13:40:28 +0100
changes
7 hours ago wenzelm 2018-01-21 detect more errors; default tip
9 hours ago nipkow 2018-01-21 merged
9 hours ago nipkow 2018-01-21 made sorted fun again
28 hours ago nipkow 2018-01-20 imported patch sorted
29 hours ago bulwahn 2018-01-20 add lemma on lists from Falling_Factorial_Sum entry
2 days ago wenzelm 2018-01-19 merged
2 days ago wenzelm 2018-01-19 avoid evaluation of embedded comment;
2 days ago wenzelm 2018-01-19 disable "display" style in marginal (line) comment;
2 days ago wenzelm 2018-01-19 more uniform output of source / text / theory_text, with handling of formal comments etc.;
2 days ago wenzelm 2018-01-19 sort completion result;
...
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
7 hours ago dce667537607 default
...