descriptionThe Isabelle repository
ownerisabelle
last changeThu, 19 Jan 2017 17:24:05 +0100
changes
37 minutes ago nipkow 2017-01-19 int version slicker default tip
5 hours ago nipkow 2017-01-19 tuned
20 hours ago nipkow 2017-01-18 tuned
24 hours ago wenzelm 2017-01-18 clarified theory name; tuned;
25 hours ago paulson 2017-01-18 New material from Bertrand's postulate (file Bertrand_Discrete_Sqrt), and tidied an old messy proof
47 hours ago nipkow 2017-01-17 tuned
2 days ago wenzelm 2017-01-17 removed some old ASCII syntax;
2 days ago wenzelm 2017-01-17 prefer context groups;
2 days ago wenzelm 2017-01-17 misc tuning and modernization;
2 days ago wenzelm 2017-01-17 prefer context groups;
...
tags
5 weeks ago Isabelle2016-1
11 months ago Isabelle2016
20 months ago 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
2011-10-09 Isabelle2011-1
...
branches
37 minutes ago 7c340dcbc323 default
...