| Mon, 24 Oct 2016 11:42:39 +0200 | wenzelm | updated for release; | changeset | files |
| Mon, 24 Oct 2016 11:10:17 +0200 | wenzelm | updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7; | changeset | files |
| Mon, 24 Oct 2016 14:32:07 +0100 | paulson | Merge | changeset | files |
| Mon, 24 Oct 2016 14:31:05 +0100 | paulson | "subgoal" examples | changeset | files |
| Mon, 24 Oct 2016 13:50:12 +0200 | eberlm | Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory | changeset | files |
| Sun, 23 Oct 2016 16:44:17 +0200 | wenzelm | more readable output: whitespace is insignificant in HTML; | changeset | files |
| Sun, 23 Oct 2016 16:37:59 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Sun, 23 Oct 2016 15:25:48 +0200 | wenzelm | modernized; | changeset | files |
| Sun, 23 Oct 2016 15:24:10 +0200 | wenzelm | more operations; | changeset | files |
| Sun, 23 Oct 2016 13:16:23 +0200 | wenzelm | more operations (see also properties.ML); | changeset | files |
| Sun, 23 Oct 2016 12:35:48 +0200 | wenzelm | tuned signature: avoid conflict with "paragraph" as section heading; | changeset | files |
| Sun, 23 Oct 2016 12:34:39 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 23 Oct 2016 12:30:57 +0200 | wenzelm | support for XML as HTML; | changeset | files |
| Sun, 23 Oct 2016 12:27:11 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 23 Oct 2016 12:21:17 +0200 | wenzelm | more explicit rev (tip); | changeset | files |