| 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 |