Branches - Isabelle_DOF - LogicalHacking Git Service

main

eac94f2a01 · Merge branch 'Isabelle_dev' · Updated 2022-11-02 07:28:23 +00:00

string-attributes-as-input-source a31098c98d · Ongoing handling of ide interaction for string attributes · Updated 2023-12-21 11:29:18 +00:00	0 481		ZIP TAR.GZ
dedukti-presentation fda02be889 · Update dedukti-presentation example to Isabelle 2023 · Updated 2023-10-10 07:54:49 +00:00	0 475		ZIP TAR.GZ
tikzposter 2b0dfc48e3 · tikzposter class implementation · Updated 2023-05-26 10:46:40 +00:00	0 394		ZIP TAR.GZ
parallelization 203b19ff8b · Parallelization of assert, term, value*, first try · Updated 2023-05-25 13:17:38 +00:00	0 394		ZIP TAR.GZ
pass-on-manual 86bf3ea5b9 · Pass on manual · Updated 2023-05-12 16:07:21 +00:00	0 359		ZIP TAR.GZ
fix-scholarly-paper-latex-output 16cb700c1a · Fix scholarly_paper · Updated 2023-04-20 15:44:23 +00:00	0 300		ZIP TAR.GZ
command-syntax-antiquotation 1893737553 · Add command syntax antiquotation to manual · Updated 2023-03-27 15:47:09 +00:00	0 253		ZIP TAR.GZ
definition-star-command 191b204dbd · Add definition* command first draft · Updated 2023-03-02 13:05:44 +00:00	0 183		ZIP TAR.GZ
metalogic-mapping-2 e1e3fd1f2a · Add very deep interpretation · Updated 2023-02-24 09:41:32 +00:00	0 138		ZIP TAR.GZ
onto-class-name-space 9de18b148a · Remove some instance and onto_class datatypes entries · Updated 2023-02-16 09:41:04 +00:00	0 105		ZIP TAR.GZ
invariants-name-space 55690bba33 · Homogenize instance getters names · Updated 2023-02-14 08:21:11 +00:00	0 102		ZIP TAR.GZ
monitor-name-space 9089c55e2f · Use a name space for monitors infos · Updated 2023-02-10 09:50:08 +00:00	0 94		ZIP TAR.GZ
scoped-docitems 5b3086bbe5 · Use a name space for docitems (instances) · Updated 2023-02-09 15:07:16 +00:00	0 92		ZIP TAR.GZ
instance-name-space 90a6b5aeb2 · Remove docobj table, instances were moved to a name space · Updated 2023-02-08 08:27:55 +00:00	0 93		ZIP TAR.GZ
docitem-name-antiquotations 7c0d2cee55 · Add docitem_name text and ML antiquotations · Updated 2023-01-30 06:43:44 +00:00	0 91		ZIP TAR.GZ
metalogic-mapping 104350831e · Make both deep and shallow interpretation available · Updated 2023-01-13 11:38:15 +00:00	0 87		ZIP TAR.GZ
implement-rejects-clause 218ff9f7ec · Fix checking warning of monitors for monitors · Updated 2022-12-14 17:45:05 +00:00	0 67		ZIP TAR.GZ
enable-invariants-checking-everywhere 9bc493250f · Enable invariants checking everywhere · Updated 2022-12-14 17:23:18 +00:00	0 66		ZIP TAR.GZ
test-normalization 963923be3f · Add normalization to update_instance* command · Updated 2022-12-12 13:37:27 +00:00	0 67		ZIP TAR.GZ
instance-value-normalization a5462195d8 · Update normalization · Updated 2022-11-17 11:42:43 +00:00	0 2		ZIP TAR.GZ

1 2