| Sun, 06 Nov 2022 21:45:06 +0100 | wenzelm | tuned message; | changeset | files |
| Sun, 06 Nov 2022 20:56:05 +0100 | wenzelm | clarified delay -- more reactive; | changeset | files |
| Sun, 06 Nov 2022 20:44:12 +0100 | wenzelm | provide Session.init_time as reference point for diagnostic messages; | changeset | files |
| Sun, 06 Nov 2022 20:27:35 +0100 | wenzelm | afford more reactive consolidation; | changeset | files |
| Sun, 06 Nov 2022 19:25:48 +0100 | wenzelm | minor performance tuning; | changeset | files |
| Sun, 06 Nov 2022 18:54:32 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 06 Nov 2022 15:28:56 +0100 | wenzelm | afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE; | changeset | files |
| Sun, 06 Nov 2022 12:54:46 +0100 | wenzelm | proper executable files for Windows; | changeset | files |