| Sun, 12 Apr 2015 11:33:19 +0200 | hoelzl | move filters to their own theory | changeset | files |
| Sun, 12 Apr 2015 16:04:53 +0200 | hoelzl | fix latex in Transcendental | changeset | files |
| Sun, 12 Apr 2015 20:05:35 +0200 | wenzelm | proper site for Cygwin setup; | changeset | files |
| Sun, 12 Apr 2015 13:10:04 +0200 | wenzelm | less ambitious collection of quasi-generic PIDE modules; | changeset | files |