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,1], |
version_id = [110, 6], |
19 |
date = "May 5, 1998" |
date = "May 21, 1998" |
20 |
} |
} |
21 |
|
|
22 |
fun f ([], l) = l |
fun f ([], l) = l |
32 |
|
|
33 |
(* |
(* |
34 |
* $Log: version.sml,v $ |
* $Log: version.sml,v $ |
35 |
|
* Revision 1.3 1998/05/21 17:54:48 jhr |
36 |
|
* Merging in Matthias's changes. |
37 |
|
* |
38 |
|
* Revision 1.2 1998/05/20 18:32:34 george |
39 |
|
* Cosmetic change -- zsh |
40 |
|
* |
41 |
* Revision 1.1.1.1 1998/04/08 18:39:15 george |
* Revision 1.1.1.1 1998/04/08 18:39:15 george |
42 |
* Version 110.5 |
* Version 110.5 |
43 |
* |
* |
|
Legend:
Removed from v.100 |
|
changed lines |
|
Added in v.106 |
|
|