| Fri, 05 Mar 2021 20:38:55 +0100 | wenzelm | clarified smt: support Timeout.ignored and Timeout.scale_time; | changeset | files |
| Fri, 05 Mar 2021 17:29:49 +0100 | wenzelm | clarified timeouts in Isabelle/ML; | changeset | files |
| Fri, 05 Mar 2021 17:02:32 +0100 | wenzelm | tuned --- more elementary Time operations; | changeset | files |
| Fri, 05 Mar 2021 16:45:16 +0100 | wenzelm | removed unused/pointless operation: Time.start is the load/init time of this Scala module; | changeset | files |
| Fri, 05 Mar 2021 16:44:04 +0100 | wenzelm | obsolete; | changeset | files |
| Fri, 05 Mar 2021 16:09:42 +0100 | wenzelm | clarified signature --- augment existing structure Time; | changeset | files |
| Fri, 05 Mar 2021 13:48:23 +0100 | wenzelm | rebuild SMT certificates from scratch; | changeset | files |