| 2f0e7c8caf8083c9634f64c4bf22765c46e9a51e |
|
17-Jan-2018 |
Jens Elkner <jel+git@iks.cs.uni-magdeburg.de> |
README: add a version string number 4, 5 note |
| 68ae7b41aca2f24dbbc376becc45a7b713cdc48d |
|
30-Jul-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
update docs wrt. new pkg names/organization |
| 63f101eea51c833ecf28ec5b1ff509595c9cc54e |
|
08-Jul-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
PPA dependency fix |
| 98ea87ba6c1079d65391ba3b4d3dc472eb75796b |
|
09-May-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
add TeX/PDF support note to README |
| afd59fd120e5e150bf726ddd25a7e2a4bb6e8908 |
|
29-Apr-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
make travis CI happy; add a "test" note to the README |
| 0490829cf473c66c1f2e06d09dd5bc1937121198 |
|
29-Apr-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
fix documentation |
| ad5671edfa2ed767ec4fdc2f3099603d6fe8b97e |
|
20-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
adjusted some links |
| f2eadf57e49d36f01b58ad547657140c9d50afb2 |
|
25-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
further updated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18592 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a7fd2cfb9493db122a449809b6d21e15f0356e8b |
|
25-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18591 cec4b9c1-7d33-0410-9eda-942365e851bb |
| dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4 |
|
04-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14663 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e472118997ef12138109ffa93a265292c5d20a6c |
|
28-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13401 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f2702f0db4fab72edae97be5132f54c2a32a0283 |
|
30-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added environment variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11849 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 947d21ed43ec33fac7c3772470d984479ee5f64a |
|
09-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended for Mac users
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10668 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e66eb9e957db0999963c12f174d32191c0192bdb |
|
20-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
stick to ghc-6.8.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10156 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 315aeadc65d4ffe2cc04be2733b33de3674988a6 |
|
19-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
increase ghc version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10155 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5f184698e58f31e670c54c12d858a7c7322277b4 |
|
30-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
modified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8755 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c68c8248d86d5bea90acaff0433ff5ab8dee0b11 |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced tzi
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8255 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ff0e2694215a5ab5d0a9d7af9c8f791b4bfbcd6e |
|
13-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
use ghc-6.6, removed outdated overview
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7253 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d27ad22f77ca7399742b54e9dce2cdceed12d5e0 |
|
25-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unsafe coerce
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4326 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f63a335a037098b08817e7137087d42240be74c1 |
|
10-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated to uDrawGraph and Programatiaca
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4236 cec4b9c1-7d33-0410-9eda-942365e851bb |
| eb4a0fce7ed8c34b5c55d9a518c9c143b78bc9c1 |
|
09-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3023 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 87e1c83f10355e0fe80761367b75f83bc682770a |
|
25-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2694 cec4b9c1-7d33-0410-9eda-942365e851bb |
| adc4588a2217b4ab6e1987a2673a14185e58047b |
|
21-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
directory Comorphism is (or will be) full enough
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2670 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 888364a9d5168b06d67071ae0645997019af53c9 |
|
21-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
ATerm maintianer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2669 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d59034af17352fe521c9cc2420f360ff9eda7033 |
|
13-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
minor corrections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2587 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 00fb6704203f4de9f98434f9bca3543033fa07e1 |
|
13-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2586 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f5f33d4959160b579024d387d0235ed338341dc5 |
|
12-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2582 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d4f60a7dc41e0430d16c79f0d156e556d6d1ba37 |
|
12-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2581 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f946026468db3a4a74f5f7651a86b22c58a708d1 |
|
16-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
files and dirs of a release
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2173 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 679d3f541f7a9ede4079e045f7758873bb901872 |
|
14-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added references to the CASL Reference Manual.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2169 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 39debaf3f18854486e9c5d21fecf3eb2630e5aa7 |
|
12-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
for CD-ROM
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2162 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2295e38944bfcd91b9507e2fa9abe5a561817648 |
|
09-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
HetCATS changed into Hets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2121 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7b66a58641c3e6f6369c95d5bc16beaad20749a0 |
|
03-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Klaus as maintainer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2078 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ceee56b395227c495432d0f3baa407730d7a09d2 |
|
03-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
release docs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2067 cec4b9c1-7d33-0410-9eda-942365e851bb |