SCM Repository
[smlnj] Diff of /sml/branches/SMLNJ/src/compiler/TopLevel/main/version.sml
Diff of /sml/branches/SMLNJ/src/compiler/TopLevel/main/version.sml
Parent Directory
|
Revision Log
|
Patch
15 |
|
|
16 |
val version = { |
val version = { |
17 |
system = "Standard ML of New Jersey ", |
system = "Standard ML of New Jersey ", |
18 |
version_id = [110, 6], |
version_id = [110, 7], |
19 |
date = "May 21, 1998" |
date = "June 2, 1998" |
20 |
} |
} |
21 |
|
|
22 |
fun f ([], l) = l |
fun f ([], l) = l |
30 |
end |
end |
31 |
|
|
32 |
|
|
|
(* |
|
|
* $Log: version.sml,v $ |
|
|
* Revision 1.3 1998/05/21 17:54:48 jhr |
|
|
* Merging in Matthias's changes. |
|
|
* |
|
|
* Revision 1.2 1998/05/20 18:32:34 george |
|
|
* Cosmetic change -- zsh |
|
|
* |
|
|
* Revision 1.1.1.1 1998/04/08 18:39:15 george |
|
|
* Version 110.5 |
|
|
* |
|
|
*) |
|
|
Legend:
Removed from v.106 |
|
changed lines |
|
Added in v.113 |
|
|