| Sat, 24 May 2008 20:12:17 +0200 | wenzelm | exported master_directory; | changeset | files |
| Sat, 24 May 2008 20:12:16 +0200 | wenzelm | present_excursion: setmp_thread_position during presentation; | changeset | files |
| Sat, 24 May 2008 20:05:21 +0200 | wenzelm | use: explicit .ML; | changeset | files |
| 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 |