| 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 |
| Fri, 23 May 2008 21:18:47 +0200 | wenzelm | added theory_nameN; | changeset | files |
| Fri, 23 May 2008 17:19:24 +0200 | krauss | rearranged subsections | changeset | files |
| Fri, 23 May 2008 16:41:39 +0200 | berghofe | Replaced Pretty.str and Pretty.string_of by specific functions (from Codegen) that | changeset | files |