| Sat, 14 Aug 2021 13:52:23 +0200 |
note on Thm.get_name_hint
|
file | diff | annotate |
| Wed, 11 Aug 2021 11:54:07 +0200 |
note on Context.theory_name vs. Context.theory_long_name
|
file | diff | annotate |
| Tue, 10 Aug 2021 19:05:59 +0200 |
make Integrate.add_new_c a proper constant
|
file | diff | annotate |
| Tue, 10 Aug 2021 12:58:33 +0200 |
explain "KEStore_Elems.add_thes" in TODO.md
|
file | diff | annotate |
| Tue, 10 Aug 2021 12:56:06 +0200 |
cleanup MethodC.prep_input that used a different theory
|
file | diff | annotate |
| Tue, 10 Aug 2021 11:55:24 +0200 |
tuned
|
file | diff | annotate |
| Tue, 10 Aug 2021 11:54:12 +0200 |
relate note on planned improvements (cf.03dea0a179d0) to TODO.md
|
file | diff | annotate |
| Tue, 10 Aug 2021 11:29:33 +0200 |
remove items already done
|
file | diff | annotate |
| Tue, 10 Aug 2021 11:01:18 +0200 |
eliminate ThyC.to_ctxt, use Proof_Context.init_global inline
|
file | diff | annotate |
| Tue, 10 Aug 2021 10:27:15 +0200 |
note on CS c7b1a99bcfd2 , \<^ML>?Thy_Info.get_theory?
|
file | diff | annotate |
| Mon, 09 Aug 2021 14:20:20 +0200 |
eliminate ThyC.to_ctxt done except 1 error
|
file | diff | annotate |
| Tue, 27 Jul 2021 11:21:14 +0200 |
revert previous changeset
|
file | diff | annotate |
| Mon, 19 Jul 2021 18:39:02 +0200 |
eliminate type float; was an early attempt overrun by Isabelle
|
file | diff | annotate |
| Sun, 18 Jul 2021 18:15:27 +0200 |
merged
|
file | diff | annotate |
| Sun, 18 Jul 2021 16:20:32 +0200 |
eliminate ThmC.numerals_to_Free: Test_Isac_Short.thy works with TOODOO s
|
file | diff | annotate |
| Tue, 01 Jun 2021 15:41:23 +0200 |
Test_Some.thy with looping ML<>
|
file | diff | annotate |
| Mon, 21 Jun 2021 22:08:01 +0200 |
updated TODO;
|
file | diff | annotate |
| Mon, 21 Jun 2021 21:59:10 +0200 |
updated TODO;
|
file | diff | annotate |
| Mon, 21 Jun 2021 15:50:58 +0200 |
updated TODO;
|
file | diff | annotate |
| Wed, 16 Jun 2021 12:56:09 +0200 |
updated TODO;
|
file | diff | annotate |
| Sat, 12 Jun 2021 18:33:15 +0200 |
updated TODO;
|
file | diff | annotate |
| Sat, 12 Jun 2021 18:30:31 +0200 |
updated TODO;
|
file | diff | annotate |
| Sat, 12 Jun 2021 14:27:03 +0200 |
updated TODO;
|
file | diff | annotate |
| Thu, 10 Jun 2021 12:53:02 +0200 |
more TODO;
|
file | diff | annotate |
| Wed, 09 Jun 2021 20:28:42 +0200 |
more TODO;
|
file | diff | annotate |
| Tue, 01 Jun 2021 21:01:32 +0200 |
more TODO;
|
file | diff | annotate |
| Wed, 26 May 2021 16:19:41 +0200 |
more TODO;
|
file | diff | annotate |
| Wed, 26 May 2021 14:10:17 +0200 |
more TODO;
|
file | diff | annotate |
| Wed, 26 May 2021 13:26:55 +0200 |
more TODO;
|
file | diff | annotate |
| Fri, 07 May 2021 18:12:51 +0200 |
* WN: simplify const names like "is'_expanded"
|
file | diff | annotate |
| Fri, 07 May 2021 13:23:24 +0200 |
discontiune writing to file, keep XML hierarchies of MethodC and Model_Pattern,
|
file | diff | annotate |
| Mon, 03 May 2021 09:36:47 +0200 |
eliminate old "not" (now a free variable) in terms
|
file | diff | annotate |
| Mon, 03 May 2021 08:49:50 +0200 |
replace Isac's power with Isabelle's Transcendental.powr
|
file | diff | annotate |
| Thu, 29 Apr 2021 17:02:10 +0200 |
eliminate "handle _ => ..." finished
|
file | diff | annotate |
| Sun, 25 Apr 2021 12:49:37 +0200 |
cleanup remaining ^^^ in comments, finished (?)
|
file | diff | annotate |
| Sat, 24 Apr 2021 15:59:54 +0200 |
purge XML output from pbl- and met-hierarchies, finished
|
file | diff | annotate |
| Wed, 21 Apr 2021 11:47:33 +0200 |
merged
|
file | diff | annotate |
| Wed, 21 Apr 2021 11:47:30 +0200 |
check remaining "for tests only" wrt. \<^isac_test>CARTOUCHE
|
file | diff | annotate |
| Wed, 21 Apr 2021 11:24:46 +0200 |
more TODO;
|
file | diff | annotate |
| Wed, 21 Apr 2021 10:09:14 +0200 |
merged
|
file | diff | annotate |
| Wed, 21 Apr 2021 10:04:17 +0200 |
done TODO caused by ac7426ab0491
|
file | diff | annotate |
| Tue, 20 Apr 2021 23:20:45 +0200 |
more TODO;
|
file | diff | annotate |
| Tue, 20 Apr 2021 17:21:08 +0200 |
more TODO caused by ac7426ab0491
|
file | diff | annotate |
| Tue, 20 Apr 2021 13:32:43 +0200 |
more TODO;
|
file | diff | annotate |
| Mon, 19 Apr 2021 20:31:24 +0200 |
done;
|
file | diff | annotate |
| Mon, 19 Apr 2021 18:04:48 +0200 |
updated TODO;
|
file | diff | annotate |
| Mon, 19 Apr 2021 13:57:47 +0200 |
more TODO;
|
file | diff | annotate |
| Sun, 18 Apr 2021 23:40:30 +0200 |
more TODO;
|
file | diff | annotate |
| Sun, 18 Apr 2021 23:39:25 +0200 |
obsolete;
|
file | diff | annotate |
| Sun, 18 Apr 2021 23:37:59 +0200 |
conditional compilation via system option "isac_test" and antiquotation \<^isac_test>CARTOUCHE:
|
file | diff | annotate |
| Sun, 18 Apr 2021 18:39:18 +0200 |
updated TODO;
|
file | diff | annotate |
| Sun, 18 Apr 2021 16:30:11 +0200 |
TODO.md from Nextcloud/MIA;
|
file | diff | annotate |