| Sat, 09 Oct 1999 23:18:01 +0200 | wenzelm | improved; | changeset | files |
| Sat, 09 Oct 1999 23:17:47 +0200 | wenzelm | bib; | changeset | files |
| Sat, 09 Oct 1999 23:16:59 +0200 | wenzelm | support bibtex; | changeset | files |
| Sat, 09 Oct 1999 23:16:31 +0200 | wenzelm | check format; | changeset | files |
| Sat, 09 Oct 1999 23:15:40 +0200 | wenzelm | added ISABELLE_BIBTEX; | changeset | files |
| Sat, 09 Oct 1999 16:18:16 +0200 | wenzelm | removed 8bit; | changeset | files |
| Fri, 08 Oct 1999 17:07:10 +0200 | wenzelm | \isakeyword: italic correction; | changeset | files |
| Fri, 08 Oct 1999 17:06:48 +0200 | wenzelm | old_header: proper error message; | changeset | files |
| Fri, 08 Oct 1999 16:47:44 +0200 | wenzelm | tuned presentation; | changeset | files |
| Fri, 08 Oct 1999 16:40:27 +0200 | wenzelm | update from Gertrud; | changeset | files |
| Fri, 08 Oct 1999 16:18:51 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 08 Oct 1999 16:17:59 +0200 | wenzelm | url; | changeset | files |
| Fri, 08 Oct 1999 16:16:51 +0200 | wenzelm | theorem database now also indexes constants "Trueprop", "all", | changeset | files |
| Fri, 08 Oct 1999 16:05:06 +0200 | wenzelm | improved; | changeset | files |
| Fri, 08 Oct 1999 16:04:42 +0200 | wenzelm | removed generated index.html; | changeset | files |