descriptionThe Isabelle repository
ownerisabelle
last changeSun, 24 May 2020 19:57:13 +0000
changes
15 hours ago haftmann 2020-05-24 better closeup and more consistent terminology default tip
16 hours ago wenzelm 2020-05-24 merged
16 hours ago wenzelm 2020-05-24 proper stack_limit;
16 hours ago wenzelm 2020-05-24 clarified signature;
17 hours ago wenzelm 2020-05-24 more accurate classpath for "isabelle scala";
18 hours ago wenzelm 2020-05-24 proper check of registered Scala functions;
22 hours ago wenzelm 2020-05-24 asynchronous build_session: notably for Scala.fulfill protocol commands during run;
23 hours ago wenzelm 2020-05-24 clarified build_session protocol;
24 hours ago wenzelm 2020-05-24 clarified signature;
25 hours ago wenzelm 2020-05-24 clarified name;
...
tags
5 weeks ago Isabelle2020
11 months ago Isabelle2019
21 months ago Isabelle2018
2017-10-04 Isabelle2017
2016-12-12 Isabelle2016-1
2016-02-15 Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
...
branches
15 hours ago 4f4695757980 default
...