descriptionThe Isabelle repository
ownerisabelle
last changeSun, 23 Apr 2017 23:54:06 +0200
changes
3 hours ago wenzelm 2017-04-23 actually use theory; default tip
3 hours ago wenzelm 2017-04-23 clarified parent session images, to avoid duplicate loading of theories;
4 hours ago wenzelm 2017-04-23 merged
4 hours ago wenzelm 2017-04-23 tuned documentation;
4 hours ago wenzelm 2017-04-23 support for potential session imports;
5 hours ago wenzelm 2017-04-23 more checks;
8 hours ago wenzelm 2017-04-23 tuned messages;
8 hours ago wenzelm 2017-04-23 actually use theory; tuned;
8 hours ago wenzelm 2017-04-23 renamed theory to avoid conflict with loaded theory "Tree" from HOL-Library;
8 hours ago wenzelm 2017-04-23 support for Mercurial manifest check;
...
tags
4 months ago Isabelle2016-1
14 months ago Isabelle2016
23 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
3 hours ago 660df4a6dc59 default
...