e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 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 |
2cc613eee3aaa5d21c75aa50cdb681ab57069a7d |
|
30-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved string literal to Common.Parsec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13789 cec4b9c1-7d33-0410-9eda-942365e851bb |
26fda45313f3d021c379bc5016a62f3db0903a51 |
|
11-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed final newline from haskell line comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13200 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc9b69f521204a16ea815bac8ca7e12100d3f699 |
|
10-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refined haskell line comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13195 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc427a9450cd7b463717a2255c804afa47a54365 |
|
04-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed begDoEnd parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13162 cec4b9c1-7d33-0410-9eda-942365e851bb |
10b02b2343246df6773585636fe3ddbefa3b6a1b |
|
04-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored parsers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13160 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7b8ecdfb448048ad7c716be3a5ceb6d845ad194 |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8318 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
ddb1c99e79173dfa4ad8679966be1d35864dbb23 |
|
12-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow for primes only in alphanumeric identifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5514 cec4b9c1-7d33-0410-9eda-942365e851bb |
f0976ae8c12cc3dbac024ef1771add1fe86235a9 |
|
12-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow for primes in identifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5513 cec4b9c1-7d33-0410-9eda-942365e851bb |
84f4a3859d625c9d69a7af998ebb8d512d465389 |
|
12-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
used generic parser for nested comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5512 cec4b9c1-7d33-0410-9eda-942365e851bb |
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 |
|
29-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded tabs to spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a8401ce858002b67e8f4198fde45a1562696ccb |
|
02-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
made haddock headers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4359 cec4b9c1-7d33-0410-9eda-942365e851bb |
35db0960aa2e2a13652381c756fae5fb2b27213b |
|
06-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Common.Lib.Parsec with Text.ParserCombinators.Parsec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3524 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbce1109e1fc6ad299ef4108ae7dbf8cf544b811 |
|
02-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
better error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2912 cec4b9c1-7d33-0410-9eda-942365e851bb |
91562ce364352864d8298524bd6109b20d0854c8 |
|
02-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow anything withing braces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2911 cec4b9c1-7d33-0410-9eda-942365e851bb |
8fc7c6bfc621a0cc18332ed59c62696ac16095d2 |
|
26-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow for nothing between parens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2712 cec4b9c1-7d33-0410-9eda-942365e851bb |
083679daeba30fce9d60f7170a2cfd9f9c80bfb2 |
|
08-Jan-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Made Haskell warpper work.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1921 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd65d4f6fd88099786c5fa0c579ae62f941d76a7 |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@980 cec4b9c1-7d33-0410-9eda-942365e851bb |
fee96087e751b3c8eee92c7eda744a2834669d8f |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@962 cec4b9c1-7d33-0410-9eda-942365e851bb |
653af28d83da02cf66ae50971d353a1f5999a21e |
|
12-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@860 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6ce9532afa3fcef59c60fff4119a60e2a31307e |
|
12-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
made wrapper for parsing Haskell decls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@856 cec4b9c1-7d33-0410-9eda-942365e851bb |