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
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
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
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
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