| Sat, 24 Aug 2013 13:32:51 +0200 | wenzelm | more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor; | changeset | files |
| Sat, 24 Aug 2013 12:31:24 +0200 | wenzelm | clarified border (again, see also 7ce3ebc268a1); | changeset | files |
| Sat, 24 Aug 2013 00:06:53 +0200 | wenzelm | more faithful representation of U+2983 and U+2984 as "white" curly braces -- based on braces and bar from cmsy10.pfb; | changeset | files |
| Fri, 23 Aug 2013 22:48:12 +0200 | wenzelm | prefer plain subscript for notation; | changeset | files |
| Fri, 23 Aug 2013 21:59:29 +0200 | wenzelm | merged | changeset | files |
| Fri, 23 Aug 2013 20:53:00 +0200 | wenzelm | more standard parser combinator expressions and tool setup; | changeset | files |
| Fri, 23 Aug 2013 20:35:50 +0200 | wenzelm | added Theory.setup convenience; | changeset | files |