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 |
81f49ee02aaa3bc870401f8883bf52742eb3ea7a |
|
20-May-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Merge branch 'hybrid'
Conflicts:
CASL/Logic_CASL.hs
Comorphisms/LogicGraph.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17960 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 |
51c96f356eaa4600d90dbddf7f1750295cc923a9 |
|
18-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
further white space changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10690 cec4b9c1-7d33-0410-9eda-942365e851bb |
74d9a385499bf903b24848dff450a153f525bda7 |
|
18-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
white space change only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10688 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 |
e071fb22ea9923a2a4ff41184d80ca46b55ee932 |
|
07-Sep-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added module description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8810 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eeec5240b424984e3ee26296da1eeab6c6d739e |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced @tzi with @informatik.uni-bremen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8698 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 |
ce281f61edfa8aa168c586511b0d1f98ca106cd7 |
|
01-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
better recognized Simple_mod
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3757 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 |
e98d39777e103baa065992884fcd2c4d9d8937d3 |
|
02-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore * at the end of a modality term
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2916 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc75e26ed536ca6bda0fe4e29c3e0792b116af04 |
|
01-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added selectors with function types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2773 cec4b9c1-7d33-0410-9eda-942365e851bb |
82c8392d65c447d27a2332579f6c3fe1c35818a3 |
|
01-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Debugging (with examples from CoCASL Journal paper)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2771 cec4b9c1-7d33-0410-9eda-942365e851bb |
88c66e48620750c42b94db9feb01b42ae23dba97 |
|
01-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
CoCASL added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2764 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab419eb9bb19c32515fb35793f1192a86c74712e |
|
31-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
CoCASL modules, adapted from ModalCASL modules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2763 cec4b9c1-7d33-0410-9eda-942365e851bb |