HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@6894 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Achim D. Brucker 2007-10-08 14:15:36 +00:00
parent c60322442a
commit 949413530f
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
su4sml/README Normal file
View File

@ -0,0 +1,5 @@
supported SML COmpilers:
- mlton
- polyML 5.x
- sml/NJ