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,5], |
version_id = [110,5,1], |
19 |
date = "April 8, 1998" |
date = "May 5, 1998" |
20 |
} |
} |
21 |
|
|
22 |
fun f ([], l) = l |
fun f ([], l) = l |
25 |
|
|
26 |
val banner = concat ( |
val banner = concat ( |
27 |
#system version :: "v" :: |
#system version :: "v" :: |
28 |
f (#version_id version, [" [FLINT v1.4], ", #date version])) |
f (#version_id version, [" [FLINT v1.41], ", #date version])) |
29 |
|
|
30 |
end |
end |
31 |
|
|
|
Legend:
Removed from v.93 |
|
changed lines |
|
Added in v.100 |
|
|