changeset 41728 | 2837df4d1c7a |
parent 41727 | ab3f6d76fb23 |
parent 41718 | 05514b09bb4b |
child 41734 | d92cc39097e6 |
--- a/NEWS Tue Feb 08 16:10:10 2011 +0100 +++ b/NEWS Tue Feb 08 17:38:43 2011 +0100 @@ -10,6 +10,9 @@ Goal.parallel_proofs_threshold (default 100). See also isabelle usedir option -Q. +* Discontinued support for Poly/ML 5.2, which was the last version +without proper multithreading and TimeLimit implementation. + *** HOL ***