| 473b81d33893192056dde74b26b2467f983c102c |
|
02-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces and CR and one special i in a name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14655 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c6f06f645ab759d047a16a377a1ce3510bc883f5 |
|
10-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
strip off Maude prompt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14517 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ab4cb8d35411872623fee728101d9f2bfe4ab420 |
|
10-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adrians version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14516 cec4b9c1-7d33-0410-9eda-942365e851bb |