Achim D. Brucker
127acb420a
Removed superfluous directory level.
2016-07-25 20:19:53 +01: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
Achim D. Brucker
3638e54300
Revised build setup:
...
- rewrite CM files. The CM files should now work with different
versions of sml/NJ and mlton. This setup was tested with sml/NJ
110.52, sml/NJ 110.62 and mlton 20061107-1.
- removed some inconsistent signature files
- removed CM files for sml/NJ 110.62
- removed mlb files
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6700 3260e6d1-4efc-4170-b0a7-36055960796d
2007-07-23 05:26:05 +00:00
Achim D. Brucker
af324b5d87
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6668 3260e6d1-4efc-4170-b0a7-36055960796d
2007-07-04 08:05:44 +00:00
Achim D. Brucker
6650a33bac
added CM files for sml/NJ 110.62
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6273 3260e6d1-4efc-4170-b0a7-36055960796d
2007-03-26 08:05:24 +00:00
63cb7dcb8d
also allow '-' at start of names (hack for parsing ArgoUML xmi.id's
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5512 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-27 14:14:39 +00:00
83195b3c26
hack for parsing ArgoUML xmi.ids
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4352 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-07 08:33:39 +00:00
Achim D. Brucker
268c540455
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3182 3260e6d1-4efc-4170-b0a7-36055960796d
2005-10-06 17:10:55 +00:00
Achim D. Brucker
902a9a1912
sadly, fxp needs Word32 ...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3181 3260e6d1-4efc-4170-b0a7-36055960796d
2005-10-06 16:33:24 +00:00
Achim D. Brucker
d523496968
changed all occurrences of "Word32" to "LargeWord" which
...
is more portable, i.e., all standard compliant compilers
should offer LargeWord whereas Word32 is not required by
the standard. Note that "Word" should be suffiecent on
most modern architectures....
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3176 3260e6d1-4efc-4170-b0a7-36055960796d
2005-10-06 08:30:19 +00:00
Achim D. Brucker
190a9166dd
new stub based on LargeWord
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3171 3260e6d1-4efc-4170-b0a7-36055960796d
2005-10-05 12:40:40 +00:00
Achim D. Brucker
aedc7882c3
added patch for compiling with PolyML 4.1.4 (not yet functional)
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3168 3260e6d1-4efc-4170-b0a7-36055960796d
2005-10-05 10:52:16 +00:00
Achim D. Brucker
de0cb4d9b4
updated/added cm files
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3093 3260e6d1-4efc-4170-b0a7-36055960796d
2005-09-19 06:10:47 +00:00
Achim D. Brucker
679715caa4
added patch for mlton support from http://atseidl2.informatik.tu-muenchen.de/~berlea/Fxp/mlton.html
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3058 3260e6d1-4efc-4170-b0a7-36055960796d
2005-09-14 12:18:46 +00:00
Achim D. Brucker
9d3d6d389d
cleanup
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@2945 3260e6d1-4efc-4170-b0a7-36055960796d
2005-08-18 05:55:15 +00:00
Achim D. Brucker
c07c040925
inital version (removed all dependencies to Isabelle)
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@2941 3260e6d1-4efc-4170-b0a7-36055960796d
2005-08-17 15:45:10 +00:00
Achim D. Brucker
Jürgen Doser