descriptionThe Isabelle repository
ownerisabelle
last changeMon, 21 Aug 2017 19:20:02 +0200
changes
2 hours ago wenzelm 2017-08-21 proper argument type (amending 8d5cb4ea2b7c); default tip
4 hours ago wenzelm 2017-08-21 tuned;
4 hours ago wenzelm 2017-08-21 updated for release;
4 hours ago wenzelm 2017-08-21 tuned;
4 hours ago wenzelm 2017-08-21 misc updates for release;
4 hours ago wenzelm 2017-08-21 tuned;
4 hours ago wenzelm 2017-08-21 tuned;
4 hours ago wenzelm 2017-08-21 misc tuning and updates for release;
5 hours ago wenzelm 2017-08-21 updated to sqlite-jdbc-3.20.0;
5 hours ago wenzelm 2017-08-21 updated to postgresql-42.1.4;
...
tags
6 days ago Isabelle2017-RC0
8 months ago Isabelle2016-1
18 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
2 hours ago 5c0a3f63057d default
...