Jürgen Doser
|
f75dab512f
|
cd -> OS.FileSys.chDir
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3073 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-15 13:51:27 +00:00 |
 Achim D. Brucker
|
54df0876dd
|
updated MLton support
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3070 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-15 13:33:06 +00:00 |
|
Jürgen Doser
|
e02f2e6371
|
moved xmi.id table to a seperate structure and file
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3061 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-14 16:51:46 +00:00 |
|
Achim D. Brucker
|
0ab220228b
|
a first step towards mlton support
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3060 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-14 13:24:57 +00:00 |
|
Achim D. Brucker
|
a5671a5d4f
|
Guards und Entries eingebaut.
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3048 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-12 20:13:23 +00:00 |
|
Achim D. Brucker
|
76390fcbee
|
First xmi-parser for smoe activity graph.
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3043 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-08 17:00:46 +00:00 |
|
Achim D. Brucker
|
6d0b9307a7
|
Kommentierung verbessert.
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3040 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-08 09:43:47 +00:00 |
|
Achim D. Brucker
|
8eac5e0f8a
|
structural reform: end.
- xmi_state_machines introduced.
- file renaming: machine -> machines.
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3039 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-08 09:26:32 +00:00 |
|
Achim D. Brucker
|
07e0e9f7ed
|
Structural Reform: Splitting xmi.sml in subparts.
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3038 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-08 09:16:50 +00:00 |
|
Achim D. Brucker
|
6faecbf088
|
xdg
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3036 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-07 17:49:13 +00:00 |
|
Achim D. Brucker
|
e2bee654b9
|
Further restructuring.
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3035 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-07 17:44:26 +00:00 |
|
Achim D. Brucker
|
fc39c1e45d
|
More Restructuring.
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3034 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-07 17:32:04 +00:00 |
|
Achim D. Brucker
|
06fac57fc1
|
Further restructuring.
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3033 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-07 17:20:25 +00:00 |
|
Achim D. Brucker
|
29832a00ae
|
Further Alignments of FileNames.
(Structure Names will follow...)
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3032 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-07 17:10:46 +00:00 |
|
Achim D. Brucker
|
280d3cdfea
|
First restructuring with including activity graphs.
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3030 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-07 17:02:47 +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 |