| Fri, 11 Jul 2008 09:02:32 +0200 | haftmann | tuned thyname lookup | changeset | files |
| Fri, 11 Jul 2008 09:02:31 +0200 | haftmann | fixed layout | changeset | files |
| Fri, 11 Jul 2008 09:02:30 +0200 | haftmann | explicit completions of arities | changeset | files |
| Fri, 11 Jul 2008 09:02:29 +0200 | haftmann | tuned order | changeset | files |
| Fri, 11 Jul 2008 09:02:28 +0200 | haftmann | antiquotation | changeset | files |
| Fri, 11 Jul 2008 09:02:27 +0200 | haftmann | improved code generator setup | changeset | files |
| Fri, 11 Jul 2008 09:02:26 +0200 | haftmann | explicit dependency | changeset | files |
| Fri, 11 Jul 2008 09:02:24 +0200 | haftmann | class instead of axclass | changeset | files |
| Fri, 11 Jul 2008 09:02:23 +0200 | haftmann | tuned import | changeset | files |
| Fri, 11 Jul 2008 09:02:22 +0200 | haftmann | separate class dvd for divisibility predicate | changeset | files |
| Fri, 11 Jul 2008 00:35:19 +0200 | kleing | temporarily disable at-sml-dev-p | changeset | files |
| Thu, 10 Jul 2008 22:47:26 +0200 | wenzelm | updated generated file; | changeset | files |
| Thu, 10 Jul 2008 21:12:34 +0200 | wenzelm | restart: Isar.init_point; | changeset | files |
| Thu, 10 Jul 2008 21:03:47 +0200 | wenzelm | proper_inform_file_processed: Isar.init_point starts fresh command sequence; | changeset | files |
| Thu, 10 Jul 2008 20:54:00 +0200 | wenzelm | activated new versions of undo, kill_proof; | changeset | files |
| Thu, 10 Jul 2008 20:53:52 +0200 | wenzelm | activated new versions of init_toplevel, linear_undo, undo, undos_proof kill; | changeset | files |
| Thu, 10 Jul 2008 20:53:50 +0200 | wenzelm | added print; | changeset | files |
| Thu, 10 Jul 2008 20:03:30 +0200 | wenzelm | added ProofGeneral.isar_kill_proof; | changeset | files |
| Thu, 10 Jul 2008 20:03:28 +0200 | wenzelm | added Isar.init_point, Isar.kill; | changeset | files |
| Thu, 10 Jul 2008 20:02:55 +0200 | wenzelm | export init_point; | changeset | files |
| Thu, 10 Jul 2008 18:02:34 +0200 | wenzelm | added Isar.linear_undo; | changeset | files |
| Thu, 10 Jul 2008 17:47:40 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 10 Jul 2008 17:43:02 +0200 | wenzelm | tty interaction: do not move point after error; | changeset | files |
| Thu, 10 Jul 2008 17:26:27 +0200 | wenzelm | change_lexicons: no verbosity; | changeset | files |
| Thu, 10 Jul 2008 17:26:25 +0200 | wenzelm | added Isar.undo, which emulates old-style undo on global tty state; | changeset | files |
| Thu, 10 Jul 2008 17:26:23 +0200 | wenzelm | provide old-style undo operation (still unused); | changeset | files |
| Thu, 10 Jul 2008 17:26:22 +0200 | wenzelm | added prompt markup; | changeset | files |
| Thu, 10 Jul 2008 13:37:35 +0200 | wenzelm | @{lemma}: allow terminal method; | changeset | files |
| Thu, 10 Jul 2008 13:37:34 +0200 | wenzelm | @{lemma}: allow terminal method, close derivation unless (open) mode is given; | changeset | files |
| Thu, 10 Jul 2008 13:37:33 +0200 | wenzelm | added is_diag; | changeset | files |
| Thu, 10 Jul 2008 13:37:31 +0200 | wenzelm | slightly improved @{lemma} (both for latex and ML); | changeset | files |
| Thu, 10 Jul 2008 11:17:16 +0200 | wenzelm | misc tuning; | changeset | files |
| Thu, 10 Jul 2008 10:58:36 +0200 | ballarin | Fixed (harmless) typo in closing *}. | changeset | files |
| Thu, 10 Jul 2008 07:15:19 +0200 | huffman | by intro_locales -> .. | changeset | files |
| Thu, 10 Jul 2008 07:07:54 +0200 | huffman | instance real_field < field_char_0 | changeset | files |
| Wed, 09 Jul 2008 22:33:35 +0200 | huffman | remove redundant lemmas about cmod | changeset | files |
| Wed, 09 Jul 2008 22:32:17 +0200 | wenzelm | removed owner; | changeset | files |
| Wed, 09 Jul 2008 22:25:24 +0200 | wenzelm | tuned description; | changeset | files |
| Wed, 09 Jul 2008 22:23:34 +0200 | wenzelm | changes wrt. gitweb style; | changeset | files |
| Wed, 09 Jul 2008 22:13:09 +0200 | wenzelm | style = isabelle (based on gitweb); | changeset | files |
| Wed, 09 Jul 2008 20:18:06 +0200 | huffman | rearrange instantiations | changeset | files |
| Wed, 09 Jul 2008 17:14:31 +0200 | wenzelm | added get_first; | changeset | files |
| Tue, 08 Jul 2008 23:20:07 +0200 | wenzelm | updated generated file; | changeset | files |
| Tue, 08 Jul 2008 23:14:35 +0200 | wenzelm | updated generated file; | changeset | files |
| Tue, 08 Jul 2008 22:25:12 +0200 | huffman | fix more typos | changeset | files |
| Tue, 08 Jul 2008 22:07:39 +0200 | huffman | fix another typo | changeset | files |
| Tue, 08 Jul 2008 22:02:15 +0200 | huffman | fix typo | changeset | files |
| Tue, 08 Jul 2008 21:55:41 +0200 | wenzelm | updated generated file; | changeset | files |
| Tue, 08 Jul 2008 21:15:23 +0200 | wenzelm | global commands: explicit graph; | changeset | files |
| Tue, 08 Jul 2008 20:42:00 +0200 | wenzelm | export str_of; | changeset | files |
| Tue, 08 Jul 2008 18:13:12 +0200 | haftmann | clarified code | changeset | files |
| Tue, 08 Jul 2008 18:13:11 +0200 | haftmann | exported weaken combinator | changeset | files |
| Tue, 08 Jul 2008 18:13:10 +0200 | haftmann | refined arity property concept | changeset | files |
| Tue, 08 Jul 2008 18:13:09 +0200 | haftmann | fix: using IntInf.int for SML | changeset | files |
| Tue, 08 Jul 2008 17:52:28 +0200 | wenzelm | moved and renamed IsarCmd.kill_theory to ThyInfo.kill_thy; | changeset | files |
| Tue, 08 Jul 2008 17:52:26 +0200 | wenzelm | removed obsolete touch_child_thys; | changeset | files |
| Tue, 08 Jul 2008 17:52:24 +0200 | wenzelm | moved and renamed IsarCmd.kill_theory to ThyInfo.kill_thy; | changeset | files |
| Tue, 08 Jul 2008 17:48:17 +0200 | wenzelm | more qualified ThyInfo names; | changeset | files |
| Tue, 08 Jul 2008 16:19:24 +0200 | wenzelm | begin_theory: files_html needs to be produced outside of prep_html_source to make ML files appear! | changeset | files |
| Tue, 08 Jul 2008 16:19:23 +0200 | wenzelm | removed unused href_opt_name; | changeset | files |