Frédéric Tuong
|
58ff37ae2a
|
continue 670771027c
|
2018-06-27 11:26:46 -04:00 |
|
Frédéric Tuong
|
3bc36a4072
|
bootstrap
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13401 3260e6d1-4efc-4170-b0a7-36055960796d
|
2018-05-22 17:13:59 +00:00 |
|
Frédéric Tuong
|
739f957fef
|
check license files
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13395 3260e6d1-4efc-4170-b0a7-36055960796d
|
2018-05-18 20:33:54 +00:00 |
|
Frédéric Tuong
|
e3fd133e49
|
simplify
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13390 3260e6d1-4efc-4170-b0a7-36055960796d
|
2018-05-10 12:23:58 +00:00 |
|
Frédéric Tuong
|
70fc99ed4f
|
add LICENSE
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13388 3260e6d1-4efc-4170-b0a7-36055960796d
|
2018-05-09 22:34:03 +00:00 |