add3ebffeda5101eae1f7a952bf7a75382a6a5e4 |
|
29-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert previous commit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18343 cec4b9c1-7d33-0410-9eda-942365e851bb |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
da7a83e9d1b66c835f752b29e53b89f084743b2c |
|
26-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed pretty printing with ghc-7.4.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16833 cec4b9c1-7d33-0410-9eda-942365e851bb |
4959c4e13acd09856d0563ad72de17cfe2af89ba |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Reverted Haskell/test and ToHaskell/test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13861 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9816d96a65d7bdd7be7a8fc5975d90c2808f9cd |
|
13-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected shortened selector variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11393 cec4b9c1-7d33-0410-9eda-942365e851bb |
334a30370741c8db19519f28c2e8ef7b8c069f55 |
|
23-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed layout by ghc-6.10.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11191 cec4b9c1-7d33-0410-9eda-942365e851bb |
41df340a1489adfc910d2b1434a6b77fc819d41c |
|
30-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
just changed order
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8511 cec4b9c1-7d33-0410-9eda-942365e851bb |
17bde636d4df0c2e4c2e16985bb766ff106981a8 |
|
23-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added position
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4966 cec4b9c1-7d33-0410-9eda-942365e851bb |
8561bd2b32a5bfb81f18760fc9c221ddd0365031 |
|
30-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed dependency from MyLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4341 cec4b9c1-7d33-0410-9eda-942365e851bb |
e81ee647a7787c033b84189b312ef42bc3771436 |
|
26-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved instances output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4334 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9bb88c51c6cffa4be78fa8ddd15029831ac2596 |
|
08-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-6.4 uses spaces instead of tabs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4021 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd34bc2f8ca5771483b80058932a365b254fcb29 |
|
31-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended Prelude
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3744 cec4b9c1-7d33-0410-9eda-942365e851bb |
215f5ca60813ce24c2ad4c89e66e975e621dde83 |
|
17-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed HsDeclI to TiDecl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3680 cec4b9c1-7d33-0410-9eda-942365e851bb |
353f9495fda2402f68a58225d3a5dda48c656780 |
|
06-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed import of Bool
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3632 cec4b9c1-7d33-0410-9eda-942365e851bb |
d16796d2e67b21942cb8869a2bd7727b0c49f602 |
|
06-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
programatica test cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3630 cec4b9c1-7d33-0410-9eda-942365e851bb |
76e22a95e97cf8d9aa3d78ef33faffcfdc809ee7 |
|
14-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed order
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3249 cec4b9c1-7d33-0410-9eda-942365e851bb |
9272d98c265cb6e39149232f091bf32da2948cc7 |
|
04-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
mapped HasCASL's Unit to Haskell's Bool
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3212 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc2ce67f56f9d4507503cc2a24f2646c7f2adf6d |
|
10-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated overloading
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2844 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5e26787b63c42ea590c3ad5fcc55b0d04fe923f |
|
10-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added bottom
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2842 cec4b9c1-7d33-0410-9eda-942365e851bb |
c6b11bbe64a712a10d5d9e58152a7dba35edd056 |
|
09-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
further test case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2840 cec4b9c1-7d33-0410-9eda-942365e851bb |