| Thu, 29 Aug 2013 19:22:48 +0200 | wenzelm | merged | changeset | files |
| Thu, 29 Aug 2013 19:20:35 +0200 | wenzelm | tuned proofs; | changeset | files |
| Thu, 29 Aug 2013 15:53:56 +0200 | wenzelm | clarified SideKick parser name, which serves as quasi "mode" here; | changeset | files |
| Thu, 29 Aug 2013 15:48:37 +0200 | wenzelm | explicit indication of outer syntax with no tokens; | changeset | files |
| Thu, 29 Aug 2013 15:29:24 +0200 | wenzelm | clarified module location; | changeset | files |
| Thu, 29 Aug 2013 15:24:36 +0200 | wenzelm | always use extended styles (despite de26cf3191a3); | changeset | files |