HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity
su4sml - an SML repository for managing (Secure)UML/OCL models
348 Commits 1 Branch 0 Tags 4.4 MiB
Standard ML 87.6%
HTML 3.6%
Java 3.5%
Smarty 2.1%
TeX 0.8%
Other 2.3%
Go to file
Achim D. Brucker 4ad1e3516b some re-organisation 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6698 3260e6d1-4efc-4170-b0a7-36055960796d
 		2007-07-19 05:42:56 +00:00
doc simple makefile for generating documentation 2006-04-10 10:19:48 +00:00
lib/fxp 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
manual outline for a technical manual 2007-03-16 11:11:02 +00:00
src added USE-Cartridge (beta version) 2007-07-16 06:05:43 +00:00
su4sml some re-organisation 2007-07-19 05:42:56 +00:00
Makefile git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6665 3260e6d1-4efc-4170-b0a7-36055960796d 2007-07-04 07:41:19 +00:00