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 |
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 |
57c51f0673511217c416090de812b779612e7551 |
|
10-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
modified expected output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14211 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 |
10b02b2343246df6773585636fe3ddbefa3b6a1b |
|
04-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored parsers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13160 cec4b9c1-7d33-0410-9eda-942365e851bb |
d226974a16276b24c03b017fe14498637db212db |
|
10-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow multiple subsequent type annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13052 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3f7e132e0c214b755c6c4b485f4748c4dd1595c |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 cec4b9c1-7d33-0410-9eda-942365e851bb |
97279257021fd703f25019ae8869d86f455d1ea1 |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12725 cec4b9c1-7d33-0410-9eda-942365e851bb |
879056c3e0f287f35f23b3001254ba786f8d4441 |
|
04-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
only allow type variables in top-level forall items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10656 cec4b9c1-7d33-0410-9eda-942365e851bb |
74a946e10a4b324c10d7a59f84298afbcae9b3cf |
|
04-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
require kind in GEN-VAR-DECL #579
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10650 cec4b9c1-7d33-0410-9eda-942365e851bb |
529f678f015ae5276f87da63114cdce750b366ae |
|
18-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced legal ids for types, variables and constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10520 cec4b9c1-7d33-0410-9eda-942365e851bb |
951f2744e9a7b9d473ace8d4863ba3eb7cd8208c |
|
18-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
excluded formula_ops as parts of types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10519 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 |
6b1153c560b677f9f5da2a60ee8a10de75ff90c5 |
|
20-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected InVar to NonVar
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9214 cec4b9c1-7d33-0410-9eda-942365e851bb |
72909c6c1cfe9702f5910d0a135c8b55729c7917 |
|
24-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed intersection kinds for kinded types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8709 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e2c88c65d50b2e44f7afa165e6a5fac0724f08c |
|
24-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
no nested foralls in type schemes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8706 cec4b9c1-7d33-0410-9eda-942365e851bb |
adfdcfa67b7f12df6df7292e238c3f9a4b637980 |
|
24-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
print only user supplied instantiation lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8704 cec4b9c1-7d33-0410-9eda-942365e851bb |
de641e19829111a1b7eb37e5ad4ee14dc4b92c4b |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to interpret 'v : t' as a constant constructor pattern
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8697 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7663514e02f6095198371a64e574c50e6ec857a |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed var decls as curried lambda patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8696 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac9e33c3c35b2663e5cb76483228910f142d9576 |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to parse polymorphic ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8694 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e0472be46104307b974fe5079bf5cc9e94a1a96 |
|
21-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced type-arg-list for op ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8668 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1012ae182d765c4e6986029d210b9e7b48de205 |
|
21-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced type synonym Pattern with Term
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8665 cec4b9c1-7d33-0410-9eda-942365e851bb |
99f16a0f9ca757410960ff51a79b034503384fe2 |
|
14-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made '?' low binding prefix type constructor and : even lower binding kind annotation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8604 cec4b9c1-7d33-0410-9eda-942365e851bb |
a21be3ba0cb875d618b2b227f7c23e2ccc0bcb3b |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made '?' a plain type identifier
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8586 cec4b9c1-7d33-0410-9eda-942365e851bb |
00e0aa00a0c1470225052cfe27b78c45838f5d94 |
|
10-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made qColonT local
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8582 cec4b9c1-7d33-0410-9eda-942365e851bb |
c265658d314e6e9a695b4da3347da187f8f3bdb4 |
|
10-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided qColonT in most cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8580 cec4b9c1-7d33-0410-9eda-942365e851bb |
83630464d01f9952eedcc38dd75fc81b6ba3ea05 |
|
08-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed list construction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8559 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf8410d9300a3bd5981f6f593afea31d1b770a46 |
|
08-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8558 cec4b9c1-7d33-0410-9eda-942365e851bb |
ecb2c1b15ed2dbca1cba391a8f4de65c60952d6b |
|
08-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
further refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8557 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a0bf74e3923774ce08685de55cc91ccf75a2e3d |
|
07-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed layout only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8555 cec4b9c1-7d33-0410-9eda-942365e851bb |
a39a820684c1974350f46593025e0bb279f41bc6 |
|
07-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more positions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8553 cec4b9c1-7d33-0410-9eda-942365e851bb |
35cd0c10843c2cdbbe29f00a2a5d7e5e4f2d0064 |
|
07-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended tuple positions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8551 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd2ee1725c1ac8a919f62846a07ad7fee77fa610 |
|
07-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
kept position of the function arrow
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8546 cec4b9c1-7d33-0410-9eda-942365e851bb |
76091afe1790f1243ae513098ba192103a19c187 |
|
30-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow for lazy variables written without blanks like 'x:?a'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8512 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d75ab580dbf51b7ca60903fb32e7f38d939d326 |
|
17-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added instantiation list to final QualOp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8388 cec4b9c1-7d33-0410-9eda-942365e851bb |
7de39d39bc1700cc8a9bb9df90b920aad9e18d4a |
|
16-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused instantiation lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8386 cec4b9c1-7d33-0410-9eda-942365e851bb |
f0c413d0c77b5b8e5e2cbae7658126ffac9c8483 |
|
09-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow only compound lists as instantiation lists in OpId and qualified ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8284 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 |
86e6f03c6c4a1be5faa0e78e1caa889ab7ee1c53 |
|
14-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
treat a missing kind as universe in genVarDecls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7441 cec4b9c1-7d33-0410-9eda-942365e851bb |
07b1bf56f3a486f26d69514d05b73100abb25a0e |
|
30-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added keyword colonQuMark
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6553 cec4b9c1-7d33-0410-9eda-942365e851bb |
a001a694273567bcbc204e156eaf177bc3a240f3 |
|
30-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed var and op in patterns and disallowed it in square brackets or braces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5112 cec4b9c1-7d33-0410-9eda-942365e851bb |
36333a9f6aa7a251b97336fedaa25064a868f32d |
|
30-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
comment on tToken only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5111 cec4b9c1-7d33-0410-9eda-942365e851bb |
d48085f765fca838c1d972d2123601997174583d |
|
23-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed FunType, ProductType and LazyType in favour of TypeAppls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4967 cec4b9c1-7d33-0410-9eda-942365e851bb |
81946e2b3f6dde6167f48769bd02c7a634736856 |
|
28-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated variance, kinds and raw kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4810 cec4b9c1-7d33-0410-9eda-942365e851bb |
dba38ca79cbb4c18c732c1fd188fc71a68876147 |
|
25-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added dummy argument for empty lambda
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4774 cec4b9c1-7d33-0410-9eda-942365e851bb |
7080f2328c2a23fd7fca96ef192d5854fd4158d2 |
|
25-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow for multiple patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4773 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 |
62ecb1e7f8fd9573eea8369657de12c7bf9f4f25 |
|
13-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed TypeArg
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4653 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a436744732b4a3bdd66c3fa4acd8d2cc8384687 |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4626 cec4b9c1-7d33-0410-9eda-942365e851bb |
36c6cc568751e4235502cfee00ba7b597dae78dc |
|
07-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
major HasCASL redesign (many bugs left)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4571 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2 |
|
30-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved variance sign to front of kind
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4544 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 |
d4ddc827bd0e514b404a3d318937bd4615402346 |
|
12-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed nullPos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4270 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 |
c64d33a7fbeae730cbe65193fe3cc24e7aa1ddd6 |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed PosItem and ShATermConversion instance generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4217 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 |
33627b8dbc039939429bd1e8bef279a531f3848a |
|
27-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
used new function liftType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3329 cec4b9c1-7d33-0410-9eda-942365e851bb |
6914fcebb6852c7e48037b5c7e50c76ff09ae009 |
|
25-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed empty product to logical unit type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3320 cec4b9c1-7d33-0410-9eda-942365e851bb |
2fc11b362b9242202bda207e7c7ecc7771f1a5e3 |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
white space changes by untabify
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3288 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f67ca7b0c738a28f6688ba6e96d44d7c14af611 |
|
23-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed kinds and alias types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2893 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc8c6570c7b4ee13f375eb607bed2290438573bf |
|
16-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Absy and parsing, added wild card pattern and treated as-patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2876 cec4b9c1-7d33-0410-9eda-942365e851bb |
eca29a7be76eb73944ec19b06eda3d6a9e6e543d |
|
12-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
computed instances of polymorphic ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2583 cec4b9c1-7d33-0410-9eda-942365e851bb |
a1d523aa255a291c0154af764fbdb8597c445918 |
|
27-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
parsed type of patterns like that of terms (disallowed dotwords in patterns)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2490 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8a03685d9184046e88e1d76aabdab4f714db440 |
|
23-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made Term cover Pattern
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2468 cec4b9c1-7d33-0410-9eda-942365e851bb |
da768cb4801fbb3bb2f352532d62f6ac60f5ad29 |
|
13-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
leave type annotations to mixfix analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2388 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c618dbd0b760f152df0f97a9cbb739ce0757aac |
|
13-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
provided for: when Quantifier ... else
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2387 cec4b9c1-7d33-0410-9eda-942365e851bb |
40b9c4f89adc2853a26acdbd11ed760d4ba96cf0 |
|
02-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
unreserved assignS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2233 cec4b9c1-7d33-0410-9eda-942365e851bb |
18dadc8b108002731f83624d297d4a2f3e888487 |
|
23-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed partial type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1989 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f271436264fd3e4ea0a0efd9f18636d26b7c07a |
|
22-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed partial constants (and ': ?' or '-> ?' with different semenatics)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1983 cec4b9c1-7d33-0410-9eda-942365e851bb |
0fc11f86ce494126a0038f6bff6917981de9bc39 |
|
21-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed 'in' to lower precedence
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1981 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2e5126cfa94e91e1e8b7fc39bb3fccaa286e77f |
|
19-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected type args in genVarDecls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1970 cec4b9c1-7d33-0410-9eda-942365e851bb |
d510ca1e69ad803999b2aa338d1dd0685781a4c2 |
|
19-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected parsing type vars without kind
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1969 cec4b9c1-7d33-0410-9eda-942365e851bb |
0551888eaa2644528f6d483c2822de3f3c858723 |
|
14-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made sure that there are no singleton tuples and product types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1959 cec4b9c1-7d33-0410-9eda-942365e851bb |
64558a09e6f6b95d2689d02dd5251339f8ac505b |
|
14-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added where expressions and allowed '|' in non-case terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1840 cec4b9c1-7d33-0410-9eda-942365e851bb |
a4edb47c12ef090dbb8a5eaaed73006ad534e680 |
|
13-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
haddockified, slightly changed and adapted to OpBrand
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1837 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac510075311023bf24175f7a76b89ec2bbda0626 |
|
11-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
haddockified and slightly changed according to the grammar
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1830 cec4b9c1-7d33-0410-9eda-942365e851bb |
d7467c1b58ad5c4a100fc75fa11c31c94bfaa44a |
|
02-Oct-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed InVar in FunKinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1741 cec4b9c1-7d33-0410-9eda-942365e851bb |
c18e9c3c6d5039618f1f2c05526ece84c7794ea3 |
|
25-Sep-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
merge raw-kinds branch with main trunk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1727 cec4b9c1-7d33-0410-9eda-942365e851bb |
22c97d5ba64360030f0ce35f45f5075eda14cb1d |
|
30-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
excluded bar for case expr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1531 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa60342b6a000c6798730e1b1ddeec846254c62c |
|
05-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
disallowed semicolon in patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1472 cec4b9c1-7d33-0410-9eda-942365e851bb |
35b3bf01894c08734ea6a77f6dd2dd58dee65617 |
|
05-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
further restricted type tokens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1469 cec4b9c1-7d33-0410-9eda-942365e851bb |
31242f7541fd6ef179e4eb5be7522ddf54ae397b |
|
05-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected constructor handling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1467 cec4b9c1-7d33-0410-9eda-942365e851bb |
9737bb5d563d68e87ce8e38ca533388118d90d2d |
|
04-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed usages of length
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1466 cec4b9c1-7d33-0410-9eda-942365e851bb |
79ee3935676e1513b95992be64886a33de48d066 |
|
12-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up typed terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1384 cec4b9c1-7d33-0410-9eda-942365e851bb |
b45dd067cc133385b2d8d6f729611e286973da46 |
|
12-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
increased priority of type qualifiers in terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1383 cec4b9c1-7d33-0410-9eda-942365e851bb |
79a3b1a7bf306fdedbeb39f9908d62405f37f385 |
|
12-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated preds like special ops, made Unit the internal logical type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1380 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb39798e8f7ee0648ee723a1dd7698a1efd0ffa0 |
|
09-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed barS within mixIds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1371 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ba23e6fb5d9206d388ba1a354f8357f155711a9 |
|
05-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed CASL.ItemList
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1329 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b38737c304ef55ebe339597d64739e589453390 |
|
15-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
liberalized lambda patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1250 cec4b9c1-7d33-0410-9eda-942365e851bb |
da245da15da78363c896e44ea97a14ab1f83eb50 |
|
11-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used Set for intersection classes (and PPUtils for printing)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1093 cec4b9c1-7d33-0410-9eda-942365e851bb |
49a475aee8bae6c05798d65fddf13ec6da66f0be |
|
27-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed nested typeArgs and added kinds to classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1028 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d2f1a7947dde4ff340f8d4908ae0f22c74fdeda |
|
26-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
only curried kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1018 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8ffec0fa3d3061061bdc16e44247b9cf96b050f |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@977 cec4b9c1-7d33-0410-9eda-942365e851bb |
30203b61afb4393c8e459470b3a16d1fe26acc7f |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@946 cec4b9c1-7d33-0410-9eda-942365e851bb |
70cb6d9819132624741661190b265b9a5d66cc86 |
|
19-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed nullKind to star
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@914 cec4b9c1-7d33-0410-9eda-942365e851bb |
51281dddda866c0cda9fca22bf6bc4eea7128112 |
|
19-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
made PseudoType and TypeScheme equal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@905 cec4b9c1-7d33-0410-9eda-942365e851bb |
715a002611e0c503c11cc3aa80835763215e689d |
|
18-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
handled pseudo types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@901 cec4b9c1-7d33-0410-9eda-942365e851bb |
42da000066c803fbbbe9e13bf6326888de3bbdc7 |
|
17-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified TypeScheme and PseudoType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@893 cec4b9c1-7d33-0410-9eda-942365e851bb |
16cb273c8b825bd7cf9c66d223f7167219e279a5 |
|
13-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed annos around semiT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@873 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 |
b8a232442cc858a3ad0f948d643b7d974f678553 |
|
06-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduce user state for annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@844 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f98027959ced502c0332e557618b42e41a2504a |
|
05-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Pos = (Int, Int) with ParsecPos.SourcePos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@837 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0fc60b7507b34c721c032c49dede882509e8de5 |
|
05-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed positions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@817 cec4b9c1-7d33-0410-9eda-942365e851bb |
43834854ad4173a1182c31a81f2bbb6b0fb15451 |
|
04-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected as-patterns using @
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@814 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd5d3885a092ac0727fa2436cdfc3b248318ebd8 |
|
31-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced TypeVarDecl with TypeArg
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@808 cec4b9c1-7d33-0410-9eda-942365e851bb |
970a7d0fe4061da35ef53d65ddfe85f259887cfd |
|
31-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed 'then' after 'if'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@805 cec4b9c1-7d33-0410-9eda-942365e851bb |
86fba1c9eb263be0a0aae10522a9e80069290c56 |
|
30-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed intersection classes within kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@802 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3cd81f98592d1dbf301f48af31677a6a0cc666a |
|
30-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
provided for ho kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@801 cec4b9c1-7d33-0410-9eda-942365e851bb |
a64a0692ffff29e0846ca325b1811266a9f105e0 |
|
29-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed kind type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@794 cec4b9c1-7d33-0410-9eda-942365e851bb |
128c577c6b84edf29b724d2fd2c9409463ffe4b4 |
|
17-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@770 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a1f427564a5ae2db32332512237ef645289c34d |
|
16-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted parser to except prelude
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@766 cec4b9c1-7d33-0410-9eda-942365e851bb |
b8a49b3a70358f3a83f184a275494a6f61770e25 |
|
15-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up nested intersections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@755 cec4b9c1-7d33-0410-9eda-942365e851bb |
25c398da28e67a27068c7e2a31074329eb00743a |
|
14-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused CASL item parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@748 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c57322afb6342e5cc8b1fdc96050b707407fc61 |
|
10-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
change Name to Id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@736 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c56ba9d3d481421a827c947233e669059056ca3 |
|
09-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed class names to (compound) ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@734 cec4b9c1-7d33-0410-9eda-942365e851bb |
98cf0f00c14d5739ef1d4e20693adaba5eefbcd4 |
|
28-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@711 cec4b9c1-7d33-0410-9eda-942365e851bb |
e31d7eaf66f050570e6379141cb3f803a04b276a |
|
23-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@708 cec4b9c1-7d33-0410-9eda-942365e851bb |
621e04e891d74ff183e1d5f477c0af746b993bd2 |
|
17-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@701 cec4b9c1-7d33-0410-9eda-942365e851bb |
a05bca7a10260c19581dff325389de3f8edefa5e |
|
06-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted qualified types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@678 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e0217d70a79c7c4c63d0760d027eb73245aa6d3 |
|
29-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified class type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@670 cec4b9c1-7d33-0410-9eda-942365e851bb |
d19d7e41605dccb24482f9d4954f662b5ef366ba |
|
26-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
recognized universe class
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@666 cec4b9c1-7d33-0410-9eda-942365e851bb |
d24cb84dba35006c81c22c0fc4215f63c22858ef |
|
06-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
tidied a bit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@600 cec4b9c1-7d33-0410-9eda-942365e851bb |
c4e912fc181d72c8d0e0e38d0351278182f0d0b5 |
|
05-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
added signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@598 cec4b9c1-7d33-0410-9eda-942365e851bb |
a3aca179a99f78c9860ad3a02f043b671f6b004e |
|
11-Oct-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Product to Tuple for better output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@511 cec4b9c1-7d33-0410-9eda-942365e851bb |
737526b54e46fa1a76c4b5e793124ee765adef6c |
|
08-Oct-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to restructuring of Keywords.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@495 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0467970183fa3dc894edea3caf9ca05d3a09fa8 |
|
19-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed where-terms, changed printAs, used semis for program-items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@293 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae464ac109d82566feab1acbc98eab3bf1f10bb3 |
|
17-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
hacapa
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@289 cec4b9c1-7d33-0410-9eda-942365e851bb |
77d08b7a38720b0331e3ec6ec90f7dde03a202aa |
|
14-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
type kind
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@287 cec4b9c1-7d33-0410-9eda-942365e851bb |
aae7a026a323021c5364aef85a0e03d586e5a5c3 |
|
13-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
basic items first time finished
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@284 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ad46ae85e1990617572b402494dfac0fb49c5c5 |
|
11-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
some basic items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@280 cec4b9c1-7d33-0410-9eda-942365e851bb |
805d89c064aed4ddf6f9fcadf38013267521af88 |
|
07-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
classItem
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@265 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5221faf8ff37ebdac127972874fccd378ccbe0 |
|
06-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
type item
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@264 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe883661c9d1a5a8b42ac4e8673ec133d9dad354 |
|
06-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
added auxiliary function: toPos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@262 cec4b9c1-7d33-0410-9eda-942365e851bb |
e05956d1da3c97e4d808926f97c6841c4a561991 |
|
05-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
let-terms/sort-items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@252 cec4b9c1-7d33-0410-9eda-942365e851bb |
613c474338a210f2aad9817376e5a3ce1fdde886 |
|
04-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
term test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@251 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc752f50cae4154623a01de6a55b897e0aad2c10 |
|
03-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ParseAs.hs to ParseTerm.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@249 cec4b9c1-7d33-0410-9eda-942365e851bb |
36ba2cb9632b54226ad1defaac537fbb0b2f224c |
|
26-Mar-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
abstract terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@114 cec4b9c1-7d33-0410-9eda-942365e851bb |
03b3c9dc9de5716538a9b04ae9bd8f36e22660e3 |
|
25-Mar-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
nested decls/items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@111 cec4b9c1-7d33-0410-9eda-942365e851bb |
d046de48e620a7233d0dc2a687fc84b82c089887 |
|
22-Mar-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
opItems
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@110 cec4b9c1-7d33-0410-9eda-942365e851bb |
4a578a4e55aec9c43eecac357952039ddc90cab5 |
|
21-Mar-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
sortItem
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@105 cec4b9c1-7d33-0410-9eda-942365e851bb |
78172fe3f4d040ea7998db7136f0e1653ca3d12b |
|
20-Mar-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@104 cec4b9c1-7d33-0410-9eda-942365e851bb |
9088db6effdfc666f262ad948fa7873a10333139 |
|
19-Mar-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
HasCasl types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@102 cec4b9c1-7d33-0410-9eda-942365e851bb |
06f705bf47fb35616a414843a7b754b8d319d7bd |
|
18-Mar-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@101 cec4b9c1-7d33-0410-9eda-942365e851bb |
30bdb2f7ef75c39358b78a838d6f40db82895a62 |
|
14-Mar-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
parseTerm
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@99 cec4b9c1-7d33-0410-9eda-942365e851bb |
e5340d1d3be7695248c7a58489fb8f99c2aa8e19 |
|
13-Mar-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@92 cec4b9c1-7d33-0410-9eda-942365e851bb |