descriptionThe Isabelle repository
ownerisabelle
last changeSun, 18 Nov 2018 18:07:51 +0000
changes
9 hours ago haftmann 2018-11-18 removed legacy input syntax default tip
18 hours ago nipkow 2018-11-18 added and tuned lemmas
36 hours ago wenzelm 2018-11-17 more Java 11 illegal-access warnings;
36 hours ago wenzelm 2018-11-17 prefer more powerful machine;
2 days ago wenzelm 2018-11-16 renovated macOS tests;
3 days ago wenzelm 2018-11-15 proper citation (amending d8205bb279a7);
3 days ago wenzelm 2018-11-15 proper citation (amending 98ba42f19995);
4 days ago wenzelm 2018-11-14 merged
4 days ago wenzelm 2018-11-14 prefer statically-typed close operation, avoid Java 11 warning: "Illegal reflective access by scala.reflect.package$ to method sun.net.httpserver.LeftOverInputStream.close()";
4 days ago wenzelm 2018-11-14 more robust hostname for Isabelle cronjobs: do not rely on target OS installation for resulting build_log database content;
...
tags
3 months ago Isabelle2018
13 months ago Isabelle2017
23 months ago Isabelle2016-1
2016-02-15 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
...
branches
9 hours ago b021008c5397 default
...