equal
deleted
inserted
replaced
4 - check latest polyml, smlnj, jdk, scala, jedit; |
4 - check latest polyml, smlnj, jdk, scala, jedit; |
5 |
5 |
6 - check Admin/components; |
6 - check Admin/components; |
7 |
7 |
8 - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj; |
8 - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj; |
|
9 |
|
10 - test scala-2.9.2; |
9 |
11 |
10 - test Proof General 4.1, 3.7.1.1; |
12 - test Proof General 4.1, 3.7.1.1; |
11 |
13 |
12 - check HTML header of library; |
14 - check HTML header of library; |
13 |
15 |