Mercurialisabelle / summary
summary | shortlog | changelog | graph | tags | branches | files | gz
 
descriptionThe Isabelle repository
ownerisabelle
last changeWed, 11 Jul 2018 09:43:48 +0200
changes
5 weeks ago nipkow 2018-07-11 (re)moved lemmas default tip changeset | files
5 weeks ago nipkow 2018-07-11 updated to renaming changeset | files
2 days ago wenzelm 2018-08-15 updated common hosts; changeset | files
2 days ago wenzelm 2018-08-15 merged changeset | files
2 days ago wenzelm 2018-08-15 Added tag Isabelle2018 for changeset 91162dd89571 changeset | files
2 days ago wenzelm 2018-08-15 merged changeset | files
2 days ago wenzelm 2018-08-15 canonical session directories in correspondence to Known.files; changeset | files
3 days ago paulson 2018-08-14 Zorn's lemma for relations defined by predicates changeset | files
5 days ago wenzelm 2018-08-12 merged changeset | files
5 days ago wenzelm 2018-08-12 proper session dirs; Isabelle2018 changeset | files
...
tags
5 days ago Isabelle2018 changeset | changelog | files
11 days ago Isabelle2018-RC4 changeset | changelog | files
2 weeks ago Isabelle2018-RC3 changeset | changelog | files
3 weeks ago Isabelle2018-RC2 changeset | changelog | files
6 weeks ago Isabelle2018-RC1 changeset | changelog | files
2 months ago Isabelle2018-RC0 changeset | changelog | files
10 months ago Isabelle2017 changeset | changelog | files
20 months ago Isabelle2016-1 changeset | changelog | files
2016-02-15 Isabelle2016 changeset | changelog | files
2015-05-23 Isabelle2015 changeset | changelog | files
...
branches
5 weeks ago f221bc388ad0 default changeset | changelog | files
...
isabelle