SCM Repository
[smlnj] Diff of /sml/trunk/src/compiler/TopLevel/main/version.sml
Diff of /sml/trunk/src/compiler/TopLevel/main/version.sml
Parent Directory
|
Revision Log
|
Patch
1 |
(* COPYRIGHT (c) 1996 Bell Laboratories *) |
(* COPYRIGHT (c) 1996 Bell Laboratories *) |
2 |
(* version.sml *) |
(* version.sml *) |
3 |
|
|
4 |
structure Version : sig |
structure CompilerVersion : sig |
5 |
|
|
6 |
val version : { |
val version : { |
7 |
system : string, (* the system title *) |
system : string, (* the system title *) |
15 |
|
|
16 |
val version = { |
val version = { |
17 |
system = "Standard ML of New Jersey ", |
system = "Standard ML of New Jersey ", |
18 |
version_id = [110, 33], |
version_id = [110, 46, 1], |
19 |
date = "May 23, 2001" |
date = "June 17, 2004" |
20 |
} |
} |
21 |
|
|
22 |
fun f ([], l) = l |
fun f ([], l) = l |
28 |
f (#version_id version, [" [FLINT v1.5], ", #date version])) |
f (#version_id version, [" [FLINT v1.5], ", #date version])) |
29 |
|
|
30 |
end |
end |
31 |
|
|
32 |
|
structure Version = CompilerVersion |
|
Legend:
Removed from v.834 |
|
changed lines |
|
Added in v.1532 |
|
|