| Sun, 20 Dec 2020 16:13:30 +0100 | wenzelm | unused; | changeset | files |
| Sun, 20 Dec 2020 15:47:54 +0100 | wenzelm | present auxiliary files with PIDE markup; | changeset | files |
| Sun, 20 Dec 2020 13:20:09 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 20 Dec 2020 12:32:12 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 20 Dec 2020 12:24:41 +0100 | wenzelm | tuned signature: more explicit types; | changeset | files |
| Sat, 19 Dec 2020 15:32:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 19 Dec 2020 15:14:01 +0100 | wenzelm | clarified signature and module structure; | changeset | files |
| Sat, 19 Dec 2020 12:05:17 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 19 Dec 2020 11:43:24 +0100 | wenzelm | clarified comments: file-system access is always unsynchronized; | changeset | files |
| Sat, 19 Dec 2020 17:49:14 +0000 | haftmann | more precise simpset for method unat_arith | changeset | files |
| Sat, 19 Dec 2020 09:33:11 +0000 | haftmann | clarified scope of concept | changeset | files |
| Fri, 18 Dec 2020 10:37:26 +0000 | haftmann | clarified name | changeset | files |
| Sat, 19 Dec 2020 00:23:21 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 19 Dec 2020 00:08:14 +0100 | wenzelm | download auxiliary files via "curl"; | changeset | files |
| Sat, 19 Dec 2020 00:04:32 +0100 | wenzelm | clarified markup: open URL as editor file; | changeset | files |
| Sat, 19 Dec 2020 00:00:58 +0100 | wenzelm | download as in Isabelle/Scala; | changeset | files |
| Fri, 18 Dec 2020 23:30:29 +0100 | wenzelm | more robust; | changeset | files |
| Fri, 18 Dec 2020 23:19:07 +0100 | wenzelm | improved markup for theory header imports; | changeset | files |
| Fri, 18 Dec 2020 12:57:25 +0100 | wenzelm | clarified markup (refining dd56ba1974e6); | changeset | files |
| Fri, 18 Dec 2020 11:44:34 +0100 | wenzelm | more documentation; | changeset | files |
| Thu, 17 Dec 2020 13:51:37 +0000 | Peter Lammich | merged | changeset | files |
| Thu, 17 Dec 2020 13:51:22 +0000 | Peter Lammich | tuned running time functions | changeset | files |
| Wed, 16 Dec 2020 23:28:39 +0100 | wenzelm | merged | changeset | files |
| Wed, 16 Dec 2020 23:11:54 +0100 | wenzelm | proper support for Windows/Cygwin; | changeset | files |
| Wed, 16 Dec 2020 16:56:07 +0100 | wenzelm | updated to zipperposition-2.0 and ocaml-4.07, which is required for it; | changeset | files |
| Wed, 16 Dec 2020 16:30:04 +0100 | wenzelm | more checks; | changeset | files |
| Wed, 16 Dec 2020 17:48:06 +0000 | Peter Lammich | merged | changeset | files |
| Wed, 16 Dec 2020 17:47:50 +0000 | Peter Lammich | simplified complexity proofs. Increased precision of T_del_min_bound. (though T_del_min might be be missing a +1) | changeset | files |
| Wed, 16 Dec 2020 16:53:13 +0000 | Peter Lammich | added missing +1 to T_insert (for function call) | changeset | files |
| Wed, 16 Dec 2020 15:47:33 +0100 | wenzelm | merged | changeset | files |