| 7e0943e4893be7d7d87059ef6995b59aa1d4e96b |
|
10-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13850 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b814b1bb510007ba5d0638eb27d93ef93fe64e66 |
|
01-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added removing trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8532 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4bb40320bdda9b90e305c1bc7982814ad7fcbc42 |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
current version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8264 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1d8011d1730fb370a499d59afb3f05be871436fe |
|
30-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced link
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7946 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 51db8ddc5236cf8f39d87bf6139cbc9aad146828 |
|
23-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
current version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7329 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 44551d3ad7d8ae6e282bc695c200609a9cb74603 |
|
06-Nov-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
use error "msg" instead of undefined
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7125 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 99882cd0f42bd3c1bff73170b174e14d1fde7dc4 |
|
06-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
propose case expressions as part of the expression style
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5918 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 46bf8457679e3dd601af7e35cc0966642ba09794 |
|
03-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended preface and naming conventions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5906 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f09bc2a9244ed29b02ec8dd58a3040f8acb467ba |
|
28-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed layout of records
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5887 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d71c501e69da3973406558162ad439da2b3464d6 |
|
28-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added list comprehension stuff from things to avoid
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5886 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1da2d3de72cd19f22820492bc832c9964762a64e |
|
21-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
more haskell-cafe feedback
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5856 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3db8b71dd1ccc662325b96a5ee8f351ace0293ba |
|
21-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
integrated some haskell-cafe feedback
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5855 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ed0055e8e720ca2d07e857e7852de91d47fab9e7 |
|
17-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a warning for symbolic identifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5843 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 798a3d6fdcb8c17b0bc3502a150be75c9ec8799b |
|
08-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
more on types, records and interact
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4574 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9d3c461220f8076ef80ca48f7b0574ded9b23e7a |
|
17-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Description field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4456 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 162a689da386fc8ddbbe47bcae83eaca4fc8dbc0 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
spelling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4431 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 31c6978fd9066c9d2c3c98c950f7abbe89112522 |
|
12-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added maybe hint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4266 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 96de7ec4008f75574077816c4c71a22e6afe1e01 |
|
11-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added make targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4249 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ce59e0cc5c7221245ed323290bfccbda4ee32dd9 |
|
11-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4246 cec4b9c1-7d33-0410-9eda-942365e851bb |
| af1cb109bce240bcafe3823df022d6088cbfc438 |
|
10-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4244 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bd8ff5b5f66be563e5be9d3a0c069e32d06f331c |
|
10-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
first sketch
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4238 cec4b9c1-7d33-0410-9eda-942365e851bb |