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 |
f6a16d60a0d5c672e5525ec04b82373e754b2fac |
|
24-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to omit semicolons or use a comma instead
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14626 cec4b9c1-7d33-0410-9eda-942365e851bb |
a38f3d84e592184830fa308c5dab3f7c71e4464f |
|
15-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
coded FPL parsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14544 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ac9fad8454f66963e8985a41e061653147d4d60 |
|
15-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted CASL parsing for FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14540 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
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 |
a480b70e29a3ed7e77b89e410fd7bbab3e5a7e67 |
|
14-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened too long lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10313 cec4b9c1-7d33-0410-9eda-942365e851bb |
61e38a4f194d3adc66646326c938eb9263a2f39b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed functions over Range from Pos to Range
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10299 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 |
e6d40133bc9f858308654afb1262b8b483ec5922 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb |
0095c7efbddd0ffeed6aaf8ec015346be161d819 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7284 cec4b9c1-7d33-0410-9eda-942365e851bb |
e14842b97369d292f0c18e08c4f8bd025764d4b1 |
|
23-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed caslLetters
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7090 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 |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 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 |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7f |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed all position infos to [Pos]
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4224 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7d2e793728bbb7fd185e027eb9dfd7b9dd11c21 |
|
15-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3801 cec4b9c1-7d33-0410-9eda-942365e851bb |
891964ed616e02baab4edd0ae7699016ffc06f27 |
|
25-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed more annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3714 cec4b9c1-7d33-0410-9eda-942365e851bb |
414ffa281d82f05a2d742c702f8e06b0cb05b229 |
|
20-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made AParser polymorphic in further user state component
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3578 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 |
50dce6b011347f92377adb8bbabaeeb80975e86d |
|
21-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made CASL parsers accept an additional keyword list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2447 cec4b9c1-7d33-0410-9eda-942365e851bb |
bb630ab86f986ce62b81bd2d5c7bf32ecbc7923a |
|
19-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
deleted a few class constraints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2417 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b4130336e941b7d01c78a6da55449a4c6eca609 |
|
23-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refactoring for smooth integration of CASL extensions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2310 cec4b9c1-7d33-0410-9eda-942365e851bb |
306763c67bb99228487345b32ab8c5c6cd41f23c |
|
12-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted headers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2158 cec4b9c1-7d33-0410-9eda-942365e851bb |
863346e5b42fe87083ff8eeeed4f8e884fd883dc |
|
04-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed usages of length
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1465 cec4b9c1-7d33-0410-9eda-942365e851bb |
7325bbe03797fd413af504fb3fac109b2c652a7b |
|
09-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed barS within mixIds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1370 cec4b9c1-7d33-0410-9eda-942365e851bb |
296ba15b6d81388d066111b7a573abc08a15f0ec |
|
05-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ItemList and restructured
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1325 cec4b9c1-7d33-0410-9eda-942365e851bb |
239d2f8c5f787c78e5b8dbfad7cf2119aec57fa5 |
|
27-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Pos computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1024 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bb |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced qualified names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@972 cec4b9c1-7d33-0410-9eda-942365e851bb |
409578f7f6dbee1e10dd1c969328bb92dabd087d |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@944 cec4b9c1-7d33-0410-9eda-942365e851bb |
49cd3b8ca4968757bb21874f06de801d2a4764ac |
|
07-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
redefined asKey to collect annotations in CASL and HasCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@851 cec4b9c1-7d33-0410-9eda-942365e851bb |
b8a232442cc858a3ad0f948d643b7d974f678553 |
|
06-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduce user state for annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@844 cec4b9c1-7d33-0410-9eda-942365e851bb |
cfe294850faf3d3dbcc68828f31c20532ea57557 |
|
06-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved code to new files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@601 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c00515630d7306c4ba189f4ef5797e41c828735 |
|
05-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
reorganized keyword tokens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@596 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3927688083b3b94ecc6a110d0e5f6be188ada00 |
|
08-Oct-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
added signatures and used layout instead of { ; }
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@494 cec4b9c1-7d33-0410-9eda-942365e851bb |
97822744a43ed25622dde4b60de19b86ec89d987 |
|
17-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved annotations to SortItem.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@233 cec4b9c1-7d33-0410-9eda-942365e851bb |
ced07c9898416326e30ad25e1021bbd25217ed1f |
|
17-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed annotations, rearranged Lexer to be used for HasCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@225 cec4b9c1-7d33-0410-9eda-942365e851bb |
1add37b6f8b4ed8f8d3b7da2e7caf5a3e38fa409 |
|
16-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed for annotations between items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@206 cec4b9c1-7d33-0410-9eda-942365e851bb |
cdebe10fec15ebb2004c39f5e61b03d9c4e39224 |
|
15-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed exists as item start
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@201 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ce6a11ab0d4f72e9a300ea8838e3ff7389ec36a |
|
14-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected lookAhead after semicolon
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@200 cec4b9c1-7d33-0410-9eda-942365e851bb |
205bb6c08f7fa40d27de8d0a4bd153da7b6b03d3 |
|
14-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
smart annotations (and varDecls without annotations)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@199 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f90d6c07db61269344d3c5ec43a1331b48c95aa |
|
13-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
end of item test: isStartKeyword
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@197 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ede103929a67cd052386101043ca0244f0dcf43 |
|
08-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
parse basicSpec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@196 cec4b9c1-7d33-0410-9eda-942365e851bb |
b7cdce4a1a87dad63b65b75b54619ba7d6ae407a |
|
07-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
added header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@193 cec4b9c1-7d33-0410-9eda-942365e851bb |
4513e0c74371177e06e8360b4c4eea55293fbb9c |
|
06-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
OP_ITEMS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@187 cec4b9c1-7d33-0410-9eda-942365e851bb |
35ebeff390c19c146dac3c003f556e3364adda02 |
|
30-Apr-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced keyword strings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@175 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2f62f06870f3e2e57ad00012dd8e568d73daa64 |
|
26-Apr-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
term/formula parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@164 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b7af933b9d17ba4084a359c0a362cb32ee87101 |
|
25-Apr-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
parse SORT-ITEM
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@160 cec4b9c1-7d33-0410-9eda-942365e851bb |