| 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 |
| Fri, 08 Oct 1999 15:50:10 +0200 | wenzelm | isatool_document; | changeset | files |
| Fri, 08 Oct 1999 15:39:52 +0200 | wenzelm | make: tuned usage; | changeset | files |
| Fri, 08 Oct 1999 15:09:14 +0200 | wenzelm | improved presentation; | changeset | files |
| Fri, 08 Oct 1999 15:08:47 +0200 | wenzelm | include document; | changeset | files |
| Fri, 08 Oct 1999 15:08:23 +0200 | wenzelm | return stored thms with proper naming in derivation; | changeset | files |
| Fri, 08 Oct 1999 15:04:32 +0200 | wenzelm | improved special chars; | changeset | files |
| Fri, 08 Oct 1999 15:03:47 +0200 | wenzelm | removed -c option; | changeset | files |
| Fri, 08 Oct 1999 15:03:38 +0200 | wenzelm | tuned usage; | changeset | files |
| Fri, 08 Oct 1999 15:03:27 +0200 | wenzelm | pass RC; | changeset | files |
| Fri, 08 Oct 1999 15:03:11 +0200 | wenzelm | prepare theory session document; | changeset | files |
| Fri, 08 Oct 1999 13:28:59 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 08 Oct 1999 11:10:07 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 07 Oct 1999 22:36:52 +0200 | wenzelm | cd: quiet; | changeset | files |
| Thu, 07 Oct 1999 17:20:58 +0200 | wenzelm | verbatim markup tokens; | changeset | files |
| Thu, 07 Oct 1999 17:20:19 +0200 | wenzelm | removed verbatim markups; | changeset | files |
| Thu, 07 Oct 1999 17:19:07 +0200 | wenzelm | unset ISABELLE_SETTINGS_PRESENT; | changeset | files |
| Thu, 07 Oct 1999 15:40:32 +0200 | berghofe | Replaced update_new by update. | changeset | files |