| Mon, 25 Mar 2013 13:50:50 +0100 | kleing | removed obsolete uses of ext | changeset | files |
| Sun, 24 Mar 2013 16:19:54 +0100 | wenzelm | prefer preset = 3 -- much faster and less memory requirement; | changeset | files |
| Sun, 24 Mar 2013 16:12:45 +0100 | wenzelm | basic support for xz files; | changeset | files |
| Sun, 24 Mar 2013 16:10:19 +0100 | wenzelm | added component xz-java-1.2; | changeset | files |
| Sun, 24 Mar 2013 14:26:10 +0100 | wenzelm | more "quick start" hints; | changeset | files |
| Sun, 24 Mar 2013 12:07:31 +0100 | traytel | simple case syntax for stream (stolen from AFP/Coinductive) | changeset | files |
| Sat, 23 Mar 2013 21:48:03 +0100 | wenzelm | prefer plain \<^sub> for better rendering (both in Isabelle/jEdit and LaTeX); | changeset | files |