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 |
99cf1c277851e5ac7725b8b18980284d9e9aeb99 |
|
06-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
wibbled pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14862 cec4b9c1-7d33-0410-9eda-942365e851bb |
495330bf77fe4c742a31816b03251c9d29ae1efd |
|
04-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
exclude diamond as Modal start keyword
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14842 cec4b9c1-7d33-0410-9eda-942365e851bb |
180a3a4783d6d3cdeb9b9e61ec4f5111f95cfe23 |
|
25-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved parsing and printing of (old) Hets-lib/Modal/TemporalLogic.het
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14803 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 |
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 |
c8780740df5c36654f22036278feefbf435538c4 |
|
15-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
modalities are separated by commas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9051 cec4b9c1-7d33-0410-9eda-942365e851bb |
34bff097c14521b5e57ce37279a34256e1f78aa5 |
|
25-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed maintainer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8483 cec4b9c1-7d33-0410-9eda-942365e851bb |
626f5c8caee66bf5a5e2acbfa878dc17c0e25f96 |
|
27-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
only allow primFormula after box or diamond
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6266 cec4b9c1-7d33-0410-9eda-942365e851bb |
76647324ed70f33b95a881b536d883daccf9568d |
|
08-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5934 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 |
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 |
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 |
8f1a4a6c8c0f098e5253c03eafe50aead6e8873c |
|
03-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Licence entry
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3608 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 |
5bc645bae86e7cc7714ab73934b77bb98ecbd078 |
|
02-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made mKey more useful
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2914 cec4b9c1-7d33-0410-9eda-942365e851bb |
310532f8a7a1a1f1b6c25c67b7c340abc0889335 |
|
29-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2508 cec4b9c1-7d33-0410-9eda-942365e851bb |
856bdbffc895793cc5739dbb862323944cb76fdb |
|
23-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
seperate diamond symbol
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2460 cec4b9c1-7d33-0410-9eda-942365e851bb |
d183a4514d8a5b6a5d48d15a8dff52d0c96691ea |
|
22-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalizations for modal logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2459 cec4b9c1-7d33-0410-9eda-942365e851bb |
d297778800daa7ceba73ad9b19884c883487dee7 |
|
21-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
only excluded additional keywords on the top level (for '>' in Modal)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2448 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 |
53d399c20374a99bd95db1f9b5b93980cbf6a984 |
|
20-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
parsing without forbidden new keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2434 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 |
01f164e57224294d74f7bdbfdd4f7b4987607e51 |
|
05-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ItemList
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1327 cec4b9c1-7d33-0410-9eda-942365e851bb |
c2db39a683438b0f3d484519f4c93db26eec9d2e |
|
06-Mar-2003 |
Wiebke Herding <wiebke@informatik.uni-bremen.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1066 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1f52a36d45c5031c462291e263cec114975add1 |
|
06-Mar-2003 |
Wiebke Herding <wiebke@informatik.uni-bremen.de> |
Implemented Formulae
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1065 cec4b9c1-7d33-0410-9eda-942365e851bb |
c36c47428b2f42fe09eab533acf6be19d6d9f259 |
|
06-Mar-2003 |
Wiebke Herding <wiebke@informatik.uni-bremen.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1064 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4e1509ff358e739fddf1483ad39467e0e1becc2 |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@982 cec4b9c1-7d33-0410-9eda-942365e851bb |
10e8873de4a89035222d077fe80b9fd7b9631473 |
|
24-Feb-2003 |
Wiebke Herding <wiebke@informatik.uni-bremen.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@971 cec4b9c1-7d33-0410-9eda-942365e851bb |
272db64633ed2edaf723e01574b0083431cff469 |
|
24-Feb-2003 |
Wiebke Herding <wiebke@informatik.uni-bremen.de> |
Solved CVS Conflict
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@968 cec4b9c1-7d33-0410-9eda-942365e851bb |
59d823de481014f68b8b024474bffac150b56e1e |
|
19-Feb-2003 |
Wiebke Herding <wiebke@informatik.uni-bremen.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@910 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc6df32dd55910aac7de12b30cc5049d96b8f770 |
|
07-Feb-2003 |
Wiebke Herding <wiebke@informatik.uni-bremen.de> |
Parser for modal logic syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@849 cec4b9c1-7d33-0410-9eda-942365e851bb |