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 |
94e112d16f89130a688db8b03ad3224903f5e97e |
|
04-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17288 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9d7121d1cc6979e01f7968d5e51574fefb5b801 |
|
27-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
store only additional flexible ops and preds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16983 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL's op and pred maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15456 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
ccd28c25c1aee73a195053e677eca17e20917d84 |
|
28-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored printing of formula extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14815 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 |
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 |
a10ff6125d62484ec5961c8a5d9d1c5a3e14fa66 |
|
28-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplify sentences in printed signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10905 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a02ff6d798f2ee16bec21f89e151dfb05849262 |
|
27-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8491 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 |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa1c4ab3462e198ee145e20b81058c6b9807642a |
|
05-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed old PrettyPrint stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6591 cec4b9c1-7d33-0410-9eda-942365e851bb |
47d6bc7bc9a708427f96be8d805f712697ad3d9e |
|
30-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
phased out PPUtils, used showDoc for showPretty, and moved instances and utilities to DocUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6552 cec4b9c1-7d33-0410-9eda-942365e851bb |
40f1a7ea3e3ed12cbeca205918b645dabed0402a |
|
14-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
used toOldText resp. toOldLatex
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6448 cec4b9c1-7d33-0410-9eda-942365e851bb |
1a11b3b997a32ebf7d52758dea143ef361fd9d5b |
|
27-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
fewer parens and <+>-uses
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6271 cec4b9c1-7d33-0410-9eda-942365e851bb |
c64f180c7a3053a773d91a00226073d565fab46b |
|
27-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
minor changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6263 cec4b9c1-7d33-0410-9eda-942365e851bb |
db453fe9625a9dab5d108f7a5e464598814144b8 |
|
26-Apr-2006 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
new Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6258 cec4b9c1-7d33-0410-9eda-942365e851bb |
e374cd77f3dbe95289afa9431d36a8a8a8fdc81f |
|
01-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified ListCheck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5757 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 |
e5bf4e582d97b16e3e94af1ee61397531bb414d7 |
|
18-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed import Trace
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4697 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 |
88ece6e49930670e8fd3ee79c89a2e918d2fbd0c |
|
12-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted Common.Lib.Set and Map to ghc-6.4 library version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4263 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 |
2bb4c0b7bc54ce51e68bff86b3a19be16e0f0449 |
|
25-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved printFormulaOfModalSign to Modal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3713 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 |
8e392a88391e1ce7768037cdd9ec9d27cdf6b6f8 |
|
14-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
print all modality formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3254 cec4b9c1-7d33-0410-9eda-942365e851bb |
2077b578da77acaa83ecdbadab23ccb2a3535e23 |
|
06-Oct-2004 |
Heng Jiang <jiang@tzi.de> |
prettyprint for ModalSign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3226 cec4b9c1-7d33-0410-9eda-942365e851bb |
6eb9ffe9645b29eb33468fc658700ae7f0efdb4f |
|
27-Sep-2004 |
Heng Jiang <jiang@tzi.de> |
added display of termModies in instance of PrettyPrint ModalSign.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3192 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfa3df9a76eebd7d6934623e99194ad954be54ea |
|
03-Sep-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
improved various printing and LaTeX tweaks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3131 cec4b9c1-7d33-0410-9eda-942365e851bb |
b7b2eb9d574f5ed3ac3e9e1d7a5f168ed78a0604 |
|
09-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added formulas axiomatizing modalities to signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3021 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 |
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 |
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 |