| Wed, 17 Jul 2013 09:32:08 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 17 Jul 2013 13:34:21 +0200 | immler | tuned definition of seqseq; clarified usage of diagseq via diagseq_holds | changeset | files |
| Tue, 16 Jul 2013 23:34:33 +0200 | wenzelm | merged | changeset | files |
| Tue, 16 Jul 2013 22:36:55 +0200 | wenzelm | Cygwin with Latex according to Cygwin-Latex-Setup.bat (presently unused); | changeset | files |