Tags
Tags give the ability to mark specific points in history as being important
Isabelle2018_all
a8f59798
·
Merge branch '2018_haskabelle' into 2018_all
·
Oct 12, 2018
Isabelle2018_haskabelle
97b5d2b4
·
Merge branch '2017_haskabelle' into 2018_haskabelle
·
Oct 12, 2018
Isabelle2017_all
65155c1b
·
Merge branch '2017_haskabelle' into 2017_all
·
Oct 12, 2018
Isabelle2017_haskabelle
af28f10c
·
synchronize with hol-testgen/r13400
·
Oct 12, 2018
Isabelle2018_sledgehammer_all
0ca1ff52
·
Merge branch '2017_sledgehammer_all' into 2018_sledgehammer_all
·
Oct 12, 2018
Isabelle2018_para
125de122
·
synchronize with citadelle-devel/4d462a304fa234cc9c1f50a93cdc69fcf2729555
·
Oct 12, 2018
Isabelle2017_sledgehammer_all
df94abea
·
Merge branch '2017_para' into 2017_sledgehammer_all
·
Oct 11, 2018
Isabelle2017_para
613c16e0
·
synchronize with hol-testgen/r13479
·
Oct 11, 2018
Isabelle2018
13a78506
·
proper session dirs;
·
Aug 12, 2018
Isabelle2017_datatype_atomic
e2fa1ff7
·
synchronize with hol-testgen/r13344
·
Mar 27, 2018
Isabelle2016-1_all
2e5c85e9
·
synchronize with
4e51799b
·
Mar 19, 2018
Isabelle2016-1_para
eda9c6c1
·
synchronize with hol-testgen/r13286
·
Feb 23, 2018
Isabelle2016_para
fc8fa71c
·
synchronize with hol-testgen/r13257
·
Jan 25, 2018
Isabelle2017
da00024e
·
obsolete;
·
Oct 04, 2017
Isabelle2016-1
8ee0106b
·
tuned;
·
Dec 12, 2016
Isabelle2016
822bb148
·
proper syntax;
·
Feb 15, 2016