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 |
68a0dfd3b2ae76877534ec1495aec6128dfbd287 |
|
10-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to parse a single symb-item for #1227
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18433 cec4b9c1-7d33-0410-9eda-942365e851bb |
4f9fc8b01e3c01d538a12e6327241c8fc16bc102 |
|
07-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused symbol parser stuff #1227
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18427 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 |
170c61fc12e8f056b25baac9b64a58fe4d79639a |
|
03-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
symbol parser for OWL2 and (partially) for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17943 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3f192025f2836285d9705a959542350e057f281 |
|
23-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended symbol mappings to support reparsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14780 cec4b9c1-7d33-0410-9eda-942365e851bb |
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2 |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added csp symbol parsers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14744 cec4b9c1-7d33-0410-9eda-942365e851bb |
41f19dd5103acd1adf0343bf6f0096a260290117 |
|
16-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed csp-casl other kind stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14723 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 |
812ee1f62e0e0e7235f3c05b41a0b173497b54ff |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12820 cec4b9c1-7d33-0410-9eda-942365e851bb |
36e5bfa68ec2bac960e5b9d3c5613debea36c0e8 |
|
09-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended symbol parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11245 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c63cd89ef840cd7a3d3b75f0207dc800388c800 |
|
17-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10685 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 |
7b1dc4100fa5a3afee36f6eb379a067a1a0f7c3c |
|
18-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused SYMB_ITEMS_LIST and SYMB_MAP_ITEMS_LIST
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5668 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 |
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 |
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 |
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 |
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 |
6b4557e8e9603900c84200897487a797d9245029 |
|
08-Feb-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Now symb_items trys to read as many symb items as possible instead of one
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2105 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 |
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 |