HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity
su4sml - an SML repository for managing (Secure)UML/OCL models
349 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 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
doc simple makefile for generating documentation 2006-04-10 10:19:48 +00:00
lib/fxp Revised build setup: 2007-07-23 05:26:05 +00:00
manual Revised build setup: 2007-07-23 05:26:05 +00:00
src Revised build setup: 2007-07-23 05:26:05 +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