| f89a3a8a5f8f4c39570125a7c5e5da9a1c700d1c |
|
10-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13851 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8714f917ec8dd46ef19e068fb50744e45ce06106 |
|
22-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
export main for ghc-6.12.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13369 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2b9dee59ea4254763cfea3051e95d35421eca3aa |
|
19-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed LINE pragma
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13357 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c640f4da86b877371849999bf5af612ff244d5ca |
|
17-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed DrIFT comment line: Imported from other files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13354 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 86277402fababf450d4137236fe1d7c6c9c41056 |
|
17-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
created line DrIFT warning comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13352 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b7f625188b6bf3d708b2a1b64a6cea7880708adb |
|
10-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
wrote guide-line checker for .hs sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13192 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f22318edc68ad82a9fa72d6f81bb8661ed962693 |
|
25-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added cabal file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12279 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 93200332914950da5c053bdbd2a8a1f8df3a26f2 |
|
14-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored and removed lhs files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12136 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9715af31f7f36453a73ca1c99e59d273fbf8daad |
|
25-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11583 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ac34194a668399bb8ef238da77c3a09e93fb253b |
|
11-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
attached module name to data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7242 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2e168d808e0b3bd6673e36db7b7eb8a50b13c037 |
|
08-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed comment to allow for initial pragmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4390 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 68633a81435678759c9e58d7b0cc8cce2e180f56 |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced to our HetCATS usage without literal files, options and file splitting
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4215 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ef52c0d479f5a96d47f2ada70e108b440baecda4 |
|
02-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
use System.Console.GetOpt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3514 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b4a40230b2fea08c7596e8ce15d445be26300fd9 |
|
02-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to version 2.1.0 and only included hetcats rules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3511 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 977f2c9db37876855b47f76ed48bdaaa70a8ae86 |
|
21-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
use ghc libraries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3299 cec4b9c1-7d33-0410-9eda-942365e851bb |
| edf0b87513720db0373e96424c4ad7b50e54299c |
|
30-Apr-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
A new version without any debugging lines in the output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1302 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 95e21b8055d6e47a846e23836f1594271bcd2454 |
|
19-Feb-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Updated the DrIFT Version to release Canditate 3 of DrIFT 2.0 maintained by John Meacham; therefore DrIFT.lhs is now found as DrIFT.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@907 cec4b9c1-7d33-0410-9eda-942365e851bb |