| 7b6806cbade0e1206b4440147288b28e5176c582 |
|
14-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
switsch to Isabelle2014 |
| d6db62d9190b0e5524855a4160e18ae32061ade2 |
|
13-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to Isabelle2013-2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18435 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 79ae687c8a42d41105fc9e7d1111464523c2e7b2 |
|
06-Mar-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to Isabelle2013
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17783 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6cbf20157a3a4766221bab6d65eb58106ef268ca |
|
31-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Isabelle2012
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17077 cec4b9c1-7d33-0410-9eda-942365e851bb |
| db2ec981e65362fb80ea608058db38291c313117 |
|
21-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to Isabelle2011-1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16361 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4c6671df61d2bf98a1c539cf482a4a7e273e6c10 |
|
15-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Isabelle2011
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14535 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fba489976950701a8404f1d752006b700d75e119 |
|
03-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Isabelle2009
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13027 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a12ade166e2d6c067177f9cffb67c93439b8e402 |
|
26-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
pollux job
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11605 cec4b9c1-7d33-0410-9eda-942365e851bb |