| b95472e52d623ff18295b2430d555f82c1a4051a |
|
14-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
use isabelle-installer |
| 8e3951581eae2ee4c13a1db9fe91324628e3ddb0 |
|
13-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
get hets-lib via git |
| 1c30f54acb3094bad01204cd2d96e78164c805a3 |
|
28-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
switch back to isabelle dependency |
| 057a91b0330e933136fd9c9b96258b9aa3106515 |
|
20-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
use isabelle-installer |
| 95c748c15129830d399012c07dd9824b5942d962 |
|
20-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
adjust Hets-lib and still use Isabelle2012 dependency |
| 8f602b90571f89d400abd4b7653d66c547a84201 |
|
24-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
reinserted comma
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18586 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a7808f9e23691d31b1b6b12e0735c13829171db5 |
|
24-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
fewer dependencies
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18585 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7f6499ac9dbd3571a83e64e661e13871ac4694a7 |
|
23-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert spechub/Hets@d0ffef7bea48ff2982cc90a7688a325448b7402b as subversion is needed for -update and not for building
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18578 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d0ffef7bea48ff2982cc90a7688a325448b7402b |
|
22-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added subversion as build-dep
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18575 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 810cb6a3b67381fd0af1cb6dc9d721ca455a09a0 |
|
22-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjust udrawgraph deps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18574 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e3a6d495438f9bbc13dc198c65ea1782746bb5de |
|
28-Oct-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
added i386 dependency of uDrawGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18288 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d6451071fbd13228ad358af8bc176814a7525049 |
|
23-Oct-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed minisat, yices and z3 again as we switched back to old aprove
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18279 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 20d9e77ff953099c1be052514d5d8098a2b202b0 |
|
26-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved identical control to common and added raring distro
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17913 cec4b9c1-7d33-0410-9eda-942365e851bb |