 Achim D. Brucker
|
5e42df021f
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7220 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-02-01 14:18:41 +00:00 |
Martin Bill
|
92ccc099f1
|
Syntax and type fixing
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7162 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-01-22 17:29:47 +00:00 |
|
Martin Bill
|
0441c6a197
|
- Only the SimpleChair test-case fails
- fixed ROOT.ML for PolyML.make
- reflexive associations
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@6954 3260e6d1-4efc-4170-b0a7-36055960796d
|
2007-11-22 21:37:10 +00:00 |
|
Achim D. Brucker
|
c60322442a
|
fixed build process (added missing rep_transform.sml)
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@6885 3260e6d1-4efc-4170-b0a7-36055960796d
|
2007-09-29 16:36:07 +00:00 |
|
Achim D. Brucker
|
874dbfadb0
|
updated directory structure
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6701 3260e6d1-4efc-4170-b0a7-36055960796d
|
2007-07-23 13:03:15 +00:00 |