| Mon, 16 Aug 2021 11:49:39 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 16 Aug 2021 11:24:12 +0200 | wenzelm | more scalable data structures; | changeset | files |
| Mon, 16 Aug 2021 11:22:22 +0200 | wenzelm | more scalable data structures; | changeset | files |
| Mon, 16 Aug 2021 11:21:54 +0200 | wenzelm | more scalable data structures; | changeset | files |
| Sun, 15 Aug 2021 15:26:09 +0200 | wenzelm | proper position information for Context.theory_data_size; | changeset | files |
| Thu, 12 Aug 2021 14:18:46 +0200 | wenzelm | provide bash_process server for Isabelle/ML and other external programs; | changeset | files |
| Thu, 12 Aug 2021 13:55:45 +0200 | wenzelm | clarified signature; | changeset | files |