| Sat, 02 Apr 2016 20:23:51 +0200 | wenzelm | clarified modules; | changeset | files |
| Sat, 02 Apr 2016 17:11:27 +0200 | blanchet | tuned LaTeX | changeset | files |
| Sat, 02 Apr 2016 17:02:37 +0200 | blanchet | import package that might help on some machines (e.g., macbroy2) | changeset | files |
| Sat, 02 Apr 2016 15:40:06 +0200 | wenzelm | clarified check_sources; | changeset | files |
| Sat, 02 Apr 2016 15:06:41 +0200 | wenzelm | obsolete (see 1d977436c1bf); | changeset | files |
| Sat, 02 Apr 2016 14:17:03 +0200 | wenzelm | more robust display of bidirectional Unicode text: enforce left-to-right; | changeset | files |
| Fri, 01 Apr 2016 23:11:17 +0200 | wenzelm | merged | changeset | files |