Mercurial Mercurial > wneuper > isa / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 tip
 
Wed, 21 Apr 2021 10:04:17 +0200 wneuper done TODO caused by ac7426ab0491 changeset | files
Tue, 20 Apr 2021 23:20:45 +0200 wenzelm more TODO; changeset | files
Tue, 20 Apr 2021 21:31:00 +0200 wenzelm more uniform use of Isabelle/HOL within Isac; changeset | files
Tue, 20 Apr 2021 17:21:08 +0200 wneuper more TODO caused by ac7426ab0491 changeset | files
Tue, 20 Apr 2021 17:10:02 +0200 wneuper remove de/encode for ^^^ changeset | files
Tue, 20 Apr 2021 16:58:49 +0200 wneuper merged changeset | files
Tue, 20 Apr 2021 16:58:44 +0200 wneuper replace power ^^^ by \<up> changeset | files
Tue, 20 Apr 2021 13:32:43 +0200 wenzelm more TODO; changeset | files
Mon, 19 Apr 2021 20:44:18 +0200 wenzelm less ambitious ML_print_depth: 20 instead of 999; changeset | files
Mon, 19 Apr 2021 20:33:04 +0200 wenzelm obsolete; changeset | files
Mon, 19 Apr 2021 20:31:24 +0200 wenzelm done; changeset | files
Mon, 19 Apr 2021 20:12:53 +0200 wenzelm session Isac_Test works again: de0ccac9f862 removes confusion that lead to partial/breaking changes in 0ca0f9363ad3; changeset | files
Mon, 19 Apr 2021 19:55:31 +0200 wenzelm no \<^isac_test> guard for test material: thus the Prover IDE does not have to switch the option "isac_test"; changeset | files
Mon, 19 Apr 2021 18:05:01 +0200 wenzelm more hints; changeset | files
Mon, 19 Apr 2021 18:04:48 +0200 wenzelm updated TODO; changeset | files
Mon, 19 Apr 2021 15:48:46 +0200 wenzelm tuned; changeset | files
Mon, 19 Apr 2021 15:27:18 +0200 wenzelm back to repository location as path that is relative to the current directory: changeset | files
Mon, 19 Apr 2021 15:02:11 +0200 wneuper merged changeset | files
Mon, 19 Apr 2021 15:02:00 +0200 wneuper long identifiers for occurences in test/../termC.sml changeset | files
Mon, 19 Apr 2021 13:57:47 +0200 wenzelm more TODO; changeset | files
Mon, 19 Apr 2021 11:45:43 +0200 Walther Neuper tuned changeset | files
Mon, 19 Apr 2021 11:36:13 +0200 Walther Neuper notes on Thy_Info.get_theory cf.36cad744ecb9 changeset | files
Sun, 18 Apr 2021 23:45:45 +0200 wenzelm eliminate "handle _ => ..." via \<^try>CARTOUCHE; changeset | files
Sun, 18 Apr 2021 23:40:30 +0200 wenzelm more TODO; changeset | files
Sun, 18 Apr 2021 23:39:25 +0200 wenzelm obsolete; changeset | files
Sun, 18 Apr 2021 23:37:59 +0200 wenzelm conditional compilation via system option "isac_test" and antiquotation \<^isac_test>CARTOUCHE: changeset | files
Sun, 18 Apr 2021 22:27:43 +0200 wenzelm retain thm name_hint: more close imitation of former oracles (amending 07bf9c88f2c3, afcde49beb65); changeset | files
Sun, 18 Apr 2021 18:56:55 +0200 Walther Neuper merged changeset | files
Sun, 18 Apr 2021 18:56:43 +0200 Walther Neuper 2 broken tests in Test_Some.thy, thus Test_Isac_Short.thy ok changeset | files
Sun, 18 Apr 2021 18:39:18 +0200 wenzelm updated TODO; changeset | files
Sun, 18 Apr 2021 18:32:57 +0200 wenzelm clarified name of Isabelle repository clone; changeset | files
Sun, 18 Apr 2021 18:30:31 +0200 wenzelm proper test sessions, but with remaining failures; changeset | files
Sun, 18 Apr 2021 16:30:11 +0200 wenzelm TODO.md from Nextcloud/MIA; changeset | files
Sun, 18 Apr 2021 16:11:38 +0200 wenzelm disentangle Isabelle repository "isab" vs. ISAC repository "isa": changeset | files
Sun, 18 Apr 2021 15:19:49 +0200 Walther Neuper merged changeset | files
Sun, 18 Apr 2021 15:19:32 +0200 Walther Neuper shift test without correction of error changeset | files
Sun, 18 Apr 2021 13:17:06 +0200 wenzelm merged; changeset | files
Sun, 18 Apr 2021 13:14:27 +0200 wenzelm avoid experimental changes to Isabelle sources; changeset | files
Sun, 18 Apr 2021 13:10:25 +0200 wenzelm obsolete: no need to patch official thm.ML; changeset | files
Sun, 18 Apr 2021 13:11:05 +0200 Walther Neuper merged changeset | files
Sun, 18 Apr 2021 12:42:27 +0200 Walther Neuper merged changeset | files
Sun, 18 Apr 2021 12:42:22 +0200 Walther Neuper user requirements on terms continued changeset | files
Sun, 18 Apr 2021 13:01:05 +0200 wenzelm implement sym_thm as proper infernce rule: changeset | files
Sat, 17 Apr 2021 21:37:31 +0200 wenzelm more conservative numerals_to_Free: prefer existing Skip_Proof.make_thm (which assumes that thms are in standard form); changeset | files
Sat, 17 Apr 2021 21:20:56 +0200 wenzelm prefer existing Skip_Proof.make_thm; changeset | files
Sat, 17 Apr 2021 21:10:27 +0200 wenzelm more direct use of Thm.prop_of; changeset | files
Sat, 17 Apr 2021 20:44:57 +0200 wenzelm remove generated file from repository; changeset | files
Sat, 17 Apr 2021 20:42:45 +0200 wenzelm merged; changeset | files
Sat, 17 Apr 2021 20:41:09 +0200 wenzelm avoid changes to Isabelle sources: changeset | files
Sat, 17 Apr 2021 20:37:13 +0200 wenzelm avoid experimental changes to Isabelle sources; changeset | files
Sat, 17 Apr 2021 18:44:27 +0200 Walther Neuper deleted ~~/contrib changeset | files
Sat, 17 Apr 2021 18:35:43 +0200 Walther Neuper user requirements on terms changeset | files
Sat, 17 Apr 2021 17:53:30 +0200 wenzelm make this appear like a repository clone of Isabelle2021 --- with proper Admin directory (e.g. required to build jars on the spot); changeset | files
Sat, 17 Apr 2021 17:51:44 +0200 wenzelm proper file name; changeset | files
Sat, 17 Apr 2021 17:49:46 +0200 wenzelm add missing files; changeset | files
Fri, 16 Apr 2021 23:57:40 +0200 wenzelm missing file from Isabelle2021; changeset | files
Fri, 16 Apr 2021 22:29:23 +0200 wenzelm prefer symbolic directories $ISABELLE_ISAC and $ISABELLE_ISAC_TEST, instead of re-using ~~ for $ISABELLE_HOME; changeset | files
Fri, 16 Apr 2021 22:13:43 +0200 wenzelm more explicit components; changeset | files
Tue, 13 Apr 2021 14:07:17 +0200 Walther Neuper repair setup for session "Doc" cf.751b8a13c271 changeset | files
Tue, 13 Apr 2021 13:20:05 +0200 Walther Neuper trial with setup for session "Doc", unsuccessful changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 tip
wneuper/isa