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 |
f5e43c6208179131e179f075248880a8cae1e111 |
|
15-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added sentence conversion to xml |
8037b7d21021a94b69e4a092f5c98e491333d939 |
|
09-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
reintegrated logic Haskell (with null json output) |
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 |
6b7176130876403a5219b756971c28131e6c3d3b |
|
04-May-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
change missing in #17942
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17947 cec4b9c1-7d33-0410-9eda-942365e851bb |
893708158f77a023564b71c4d55ecf20bc2bdcbc |
|
08-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to changed method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17490 cec4b9c1-7d33-0410-9eda-942365e851bb |
e16b3696b2c173aac14200321868ed81b8f7dc69 |
|
29-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Monoid instances to basic specs of all logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17269 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 |
05bf9cbe382548c2665dd01a6a402640c9ec3813 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more LANGUAGE pragmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13493 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3c9318c22fcf44d9135a3b2c64f880b9a785bab |
|
13-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added (dummy) positions to symbols and sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12976 cec4b9c1-7d33-0410-9eda-942365e851bb |
a7be28e157e9ceeec73a8fd0e642c36ea29d4218 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added a separate subsig test to allow building inlusions more efficiently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11439 cec4b9c1-7d33-0410-9eda-942365e851bb |
70dd17fd1ceb698d8bac709c56ceb60efe95e264 |
|
03-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed multiline strings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10642 cec4b9c1-7d33-0410-9eda-942365e851bb |
84933d742dc5bcf760653b5d1784e00cee342032 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced {-| with {- |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10424 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored class Category
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9797 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c4bac169b47c39f9d0477a42da39b179091f723 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added inclusion flag to default morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9796 cec4b9c1-7d33-0410-9eda-942365e851bb |
6155ffd7d005f443d69067fc50f17134887e9e6b |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed is_subsig to a global function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9795 cec4b9c1-7d33-0410-9eda-942365e851bb |
109bfb0f817fcb94b049836da185c5241cebc3cc |
|
04-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed signature_difference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9284 cec4b9c1-7d33-0410-9eda-942365e851bb |
135bcb7f65991146c103e5e7599adbc49fe7359d |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced senName with senAttr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8627 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7b8ecdfb448048ad7c716be3a5ceb6d845ad194 |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8318 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 |
591f994cc909bdabe2bf1c6a9b222ec64cb92583 |
|
26-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
refactoring of ProverTemplate completed on Haskell.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8152 cec4b9c1-7d33-0410-9eda-942365e851bb |
61091743da1a9ed6dfd5e077fdcc972553358962 |
|
04-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized Named to SenAttr to be useable by Logic.Prover as well
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7784 cec4b9c1-7d33-0410-9eda-942365e851bb |
eca4db63ed0bdbd93b62678feea6e3eb80aa47bb |
|
20-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed functions for signature differences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6695 cec4b9c1-7d33-0410-9eda-942365e851bb |
23a00c966f2aa8da525d7a7c51933c99964426c0 |
|
30-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved class Pretty from Doc to DocUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6555 cec4b9c1-7d33-0410-9eda-942365e851bb |
81ccde0242e645176bf2706c47dd2ec7f1f3b0bb |
|
23-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Common.PrettyPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6507 cec4b9c1-7d33-0410-9eda-942365e851bb |
c438c79d00fc438f99627e612498744bdc0d0c89 |
|
22-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched over to new Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6478 cec4b9c1-7d33-0410-9eda-942365e851bb |
b7382f18bd30d2c6dcd6b319c0398346d278589a |
|
14-Jun-2006 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
removed old comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6445 cec4b9c1-7d33-0410-9eda-942365e851bb |
39982c927a6052fe2ebd13d4c03b2fcbae0d2f0c |
|
14-Jun-2006 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
change to new Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6444 cec4b9c1-7d33-0410-9eda-942365e851bb |
d946c1bfdd7d58aa7c023efe864d5999eb44a61b |
|
04-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive all Haskell files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5590 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d97ef4f234681b11bb5924bd4d03adef858d2d2 |
|
30-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive Typeable along with ATC
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5572 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 |
5234df62fac06f62b6a4b0c885bd3d1662e70815 |
|
27-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
used field patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5083 cec4b9c1-7d33-0410-9eda-942365e851bb |
42626cd6acc59504dff56b5b81043c272778c5fb |
|
23-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactored proof status info for sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5063 cec4b9c1-7d33-0410-9eda-942365e851bb |
25a0b76bc87e80c0f697951d9817862755a71d33 |
|
17-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced haddock warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4455 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 |
92f84e334b5031122ddcfcd4c4d9e846cbdca3a2 |
|
14-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added docu
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4427 cec4b9c1-7d33-0410-9eda-942365e851bb |
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7 |
|
13-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
made genRules more transparent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4405 cec4b9c1-7d33-0410-9eda-942365e851bb |
dfa74d066ea0f00a70276aedecc624c6b3c86dea |
|
11-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended data type Named
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4251 cec4b9c1-7d33-0410-9eda-942365e851bb |
29707dc12f1047742bb90f4bfb2d72e52635ce73 |
|
28-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow for -cpp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4147 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf7f16b3dabe20e069cd37eda40a516b06a31a7a |
|
20-Mar-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
better logic description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3984 cec4b9c1-7d33-0410-9eda-942365e851bb |
7bbe88a7acc3554233bc8d05ad3d55367fb465a2 |
|
02-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced default morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3894 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c53db0f07c1032e2850dc6e7df344c82a6dec57 |
|
31-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added ATC for programatica
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3750 cec4b9c1-7d33-0410-9eda-942365e851bb |
cd4dca1561c0c2307e0cf1bce82c506198cbbe1f |
|
31-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed error indicated by warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3748 cec4b9c1-7d33-0410-9eda-942365e851bb |
215f5ca60813ce24c2ad4c89e66e975e621dde83 |
|
17-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed HsDeclI to TiDecl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3680 cec4b9c1-7d33-0410-9eda-942365e851bb |
a89e661aad28f1b39f4fc9f9f9a4d46074234123 |
|
05-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed from Maybe to Result
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3619 cec4b9c1-7d33-0410-9eda-942365e851bb |
7cbcf8c6b62bd40cc8b7c5b272ba626905d23908 |
|
04-Jan-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added real Haskell morphisms (just inclusions, represented by source and target)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3614 cec4b9c1-7d33-0410-9eda-942365e851bb |
b9ba8e34474b731c518c033207756a880355cc35 |
|
21-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
comp needed to be implemented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3592 cec4b9c1-7d33-0410-9eda-942365e851bb |
1789689a488eff041945b2bf8237788419c1abde |
|
15-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented proper union of signatures (using maps)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3566 cec4b9c1-7d33-0410-9eda-942365e851bb |
411114782de8525ba88ea7b867108fc78245a302 |
|
13-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Haskell signature type and implemented some more bits
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3558 cec4b9c1-7d33-0410-9eda-942365e851bb |
2ccb6c6e6eb97cc3a6683c45206f0b1d7a63a646 |
|
10-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
used unexported TiEnv as signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3552 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0c2380bced8159ff0297ece14eba948bd236471 |
|
24-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
based haskell logic on programatic but only allow for --just-parse currently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3461 cec4b9c1-7d33-0410-9eda-942365e851bb |
7da159f6a09f693ff8b1fb4ad20f00d8c85ab69e |
|
07-Sep-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added definition for is_subsig
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3139 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e2e744c6b967c3f5f581acf01c13769b6769285 |
|
02-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added Eq and Show instances for DGRule. Needed refactoring of dynamics stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3125 cec4b9c1-7d33-0410-9eda-942365e851bb |
eafdd845e61eeaebd39e3988e87d2e0711f6bc15 |
|
28-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
space after backslash added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3115 cec4b9c1-7d33-0410-9eda-942365e851bb |
0ddaf7a4827b60c5edb6a15cb44c4e3268bae587 |
|
01-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added print_named
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2789 cec4b9c1-7d33-0410-9eda-942365e851bb |
05ca76b03b6d16bcfb3e7654c31e41a220e85663 |
|
29-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added descriptions to logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2754 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e712ce5674d8d0413d114c0beed2ad3994633ed |
|
26-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added diffModInfo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2709 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d33038b21b37a34baec3cc27c84b46d3dcdb0d2 |
|
24-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
provers and cons_checkers added (as empty lists)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2688 cec4b9c1-7d33-0410-9eda-942365e851bb |
a8e38af791e54f72a456975c88d4126d9faef473 |
|
21-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated analysis code HatAna
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2675 cec4b9c1-7d33-0410-9eda-942365e851bb |
2327fa4db1c5aeca109f1d9ca1d3036ba75450e3 |
|
19-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added PrintLaTeX instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2654 cec4b9c1-7d33-0410-9eda-942365e851bb |
173e41b91f2de681f18b9b7f7847fd4277ab2f92 |
|
18-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added map_sen dummy and removed comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2644 cec4b9c1-7d33-0410-9eda-942365e851bb |
a29156571f5b9a69eb833a7660af7c8cb6526c3f |
|
13-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved out (still missing) better pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2591 cec4b9c1-7d33-0410-9eda-942365e851bb |
59fa9b1349ae1e001d996da732c4ac805c2938e2 |
|
06-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adaptions for ghc-6.3: mkAppTy -> mkTyConApp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2556 cec4b9c1-7d33-0410-9eda-942365e851bb |
968edf72c9abb1e35ad5f41419d0399c6d9acf32 |
|
19-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Basic inference debugged
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2416 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c9599ef78f74b178d97b53e58cb385299ccc08e |
|
02-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed overlapping instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2348 cec4b9c1-7d33-0410-9eda-942365e851bb |
c9eec96d66e1fd90bcfe5e2b8a814be269341e13 |
|
13-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Show theory hack removed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2274 cec4b9c1-7d33-0410-9eda-942365e851bb |
14e36a6b6cfc894078119f22045800d0f62d91de |
|
23-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2220 cec4b9c1-7d33-0410-9eda-942365e851bb |
242691238a8d1a89581751d782af87ec5d7470c0 |
|
23-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added translation of Grothendieck sentence lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2219 cec4b9c1-7d33-0410-9eda-942365e851bb |
d735450f81527e363268683fe66d1d7bc1d1a2f8 |
|
19-Feb-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Added 'nice' printing for ModuleInfos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2213 cec4b9c1-7d33-0410-9eda-942365e851bb |
b949a241ad2b6a2fb537e43b52e5e0ff676e5ec1 |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use Hatchet Parser (properly)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2211 cec4b9c1-7d33-0410-9eda-942365e851bb |
0cc8dfa96c21b78770edc318edf8b91dd30aa6c9 |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided latex import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2210 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5698bc5ff7711dd632ec49a5759262caf3598bc |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
Logic is based on latex printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2194 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee2a057e084cc8d9febbd5382020a7aa5d4e6ce4 |
|
18-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
portably imported unsafePerformIO
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2185 cec4b9c1-7d33-0410-9eda-942365e851bb |
7e7c1b5990145d02f8abb7c74d3c0d609735b54c |
|
17-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2176 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 |
fe421c5f372d4329e0b17a7c115b62f36833612a |
|
02-Feb-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Added dummy instance for signature_union
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2047 cec4b9c1-7d33-0410-9eda-942365e851bb |
6aa31b13450594f7fbb266802774be928c870b51 |
|
26-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed dependency from CASL symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2005 cec4b9c1-7d33-0410-9eda-942365e851bb |
5139aed187e71101931523883c1daa00f17c5a21 |
|
12-Jan-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
'trace's removed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1941 cec4b9c1-7d33-0410-9eda-942365e851bb |
25be12ecb04fcdc21d1784faa8f358672d1324bd |
|
11-Jan-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Works!
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1937 cec4b9c1-7d33-0410-9eda-942365e851bb |
332bdb6e180ebe4cfa657714ff89f64957ae1bb5 |
|
08-Jan-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
moved instance PrettyPrint () to module Common.PrettyPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1927 cec4b9c1-7d33-0410-9eda-942365e851bb |
083679daeba30fce9d60f7170a2cfd9f9c80bfb2 |
|
08-Jan-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Made Haskell warpper work.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1921 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c271af7771f967eab850c0120de7fb58cdf74f0 |
|
12-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
data_logic only used for logics supporting it
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1900 cec4b9c1-7d33-0410-9eda-942365e851bb |
9744c7d9fa61d255d5e73beec7edc3499522e9e2 |
|
02-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Pretty print Morphism added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1882 cec4b9c1-7d33-0410-9eda-942365e851bb |
89102d1cca2581c3949a8ad0f875da97654a6c11 |
|
01-Dec-2003 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Added a constant for the prelude signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1873 cec4b9c1-7d33-0410-9eda-942365e851bb |
101dcd017ea0bb085f7d3a6d146af88f4bf2bf08 |
|
03-Nov-2003 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
basic_analysis nearly done
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1817 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a37e6a9255e1da51416d76c40a11b5a9f98b981 |
|
29-Oct-2003 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Implemented basic_analysis (First version)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1800 cec4b9c1-7d33-0410-9eda-942365e851bb |
6819a4107903c02fc887008b61ab57fa5344723d |
|
31-Jul-2003 |
Felix Reckers <felix@informatik.uni-bremen.de> |
made import for ATC instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1647 cec4b9c1-7d33-0410-9eda-942365e851bb |
b49276c9f50038e0bd499ad49f7bd6444566a834 |
|
05-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1060 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d6ee210ac97051e4d1830d4c346d8a8db01a6b5 |
|
27-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
tested Haskell (and HasCASL) as Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1030 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd65d4f6fd88099786c5fa0c579ae62f941d76a7 |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@980 cec4b9c1-7d33-0410-9eda-942365e851bb |
fee96087e751b3c8eee92c7eda744a2834669d8f |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@962 cec4b9c1-7d33-0410-9eda-942365e851bb |
cdc641c6f9c3d30c79f113a63e14feb7c964f0d5 |
|
20-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted Logic HasCASL and Haskell
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@922 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6ce9532afa3fcef59c60fff4119a60e2a31307e |
|
12-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
made wrapper for parsing Haskell decls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@856 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed56261830375a7996a8074340a00b6e66440590 |
|
11-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Haskell98 Parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@855 cec4b9c1-7d33-0410-9eda-942365e851bb |