Skip to content
GitLab
Explore
Sign in
Frédéric Tuong
isabelle_para
Branches
Overview
Active
Stale
All
2016
822bb148
·
proper syntax;
·
Feb 15, 2016
2016-1
8ee0106b
·
tuned;
·
Dec 12, 2016
2017
da00024e
·
obsolete;
·
Oct 04, 2017
2016_para
fc8fa71c
·
synchronize with hol-testgen/r13257
·
Jan 25, 2018
2017_sledgehammer_first
b42e028a
·
simplify
·
Feb 14, 2018
2016-1_para
eda9c6c1
·
synchronize with hol-testgen/r13286
·
Feb 23, 2018
2016-1_all
2e5c85e9
·
synchronize with
4e51799b
·
Mar 19, 2018
2017_datatype_atomic
e2fa1ff7
·
synchronize with hol-testgen/r13344
·
Mar 27, 2018
2018
13a78506
·
proper session dirs;
·
Aug 12, 2018
master
default
protected
13a78506
·
proper session dirs;
·
Aug 12, 2018
2017_para
613c16e0
·
synchronize with hol-testgen/r13479
·
Oct 11, 2018
2017_sledgehammer_all
df94abea
·
Merge branch '2017_para' into 2017_sledgehammer_all
·
Oct 11, 2018
2018_para
125de122
·
synchronize with citadelle-devel/4d462a304fa234cc9c1f50a93cdc69fcf2729555
·
Oct 12, 2018
2018_sledgehammer_all
0ca1ff52
·
Merge branch '2017_sledgehammer_all' into 2018_sledgehammer_all
·
Oct 12, 2018
2017_haskabelle
af28f10c
·
synchronize with hol-testgen/r13400
·
Oct 12, 2018
2018_haskabelle
97b5d2b4
·
Merge branch '2017_haskabelle' into 2018_haskabelle
·
Oct 12, 2018
2018_all
a8f59798
·
Merge branch '2018_haskabelle' into 2018_all
·
Oct 12, 2018
2017_dof
d7ebeec6
·
minimize the differences with Isabelle2017
·
Jan 15, 2019
2017_all
3294e5cf
·
Merge branch '2017_dof' into 2017_all
·
Jan 15, 2019