Sat, 24 May 2008 14:47:43 +0200 | wenzelm | ident: naive caching prevents potentially slow external invocations; | changeset | files |
Sat, 24 May 2008 02:19:09 +0200 | urbanc | fixed improper handling of return code (pdf and ps.gz formats) | changeset | files |
Fri, 23 May 2008 21:20:26 +0200 | wenzelm | add constants: set Markup.theory_nameN in tags; | changeset | files |