Commit Graph

14 Commits

Author SHA1 Message Date
aarne 0c310d3cae restricted inheritance almost implemented 2005-05-30 20:08:14 +00:00
aarne 46e796f7cf BinTree vs. FiniteMap 2005-05-30 17:39:43 +00:00
bringert 93af0c8535 Fixed module names and imports after giant file move. 2005-04-21 15:21:02 +00:00
peb 5e4929a635 "Committed_by_peb" 2005-02-18 18:21:06 +00:00
peb cb6449c50a "Committed_by_peb" 2005-02-09 19:45:54 +00:00
aarne 56c80bf8d9 unlexer concat 2005-02-08 15:35:58 +00:00
aarne bd432cf147 cleand up Structural 2005-02-05 20:52:31 +00:00
peb 774541ca07 "Committed_by_peb" 2005-02-04 09:10:28 +00:00
aarne e6fd325d07 introducing multiple inheritance 2004-09-15 14:36:27 +00:00
aarne 52bc53dfd7 Interfaces and instances by reuse. 2004-01-09 16:40:56 +00:00
aarne 18dfde370e Fixed reuse of extended modules. 2003-11-19 15:19:05 +00:00
aarne 25c8690586 Field lock in MkResource.
Field lock in MkResource.
Terrible bug fixed in Check Grammar.
2003-11-13 08:17:28 +00:00
aarne e620ffbd94 Working with interfaces and incomplete modules. 2003-10-23 15:09:07 +00:00
aarne b1402e8bd6 Founding the newly structured GF2.0 cvs archive. 2003-09-22 13:16:55 +00:00