nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,541 Commits 31 Branches 0 Tags 57 MiB
Commit Graph

1541 Commits

Author SHA1 Message Date
Achim D. Brucker eac94f2a01 Merge branch 'Isabelle_dev' 2022-11-02 07:28:23 +00:00
Achim D. Brucker ab1877ce8e Linting. 2022-11-01 20:58:34 +00:00
Achim D. Brucker fc575a5be5 Fixed mardown. 2022-10-31 21:33:26 +00:00
Achim D. Brucker 4e47c38860 Declared installation script as deprecated. 2022-10-31 19:20:34 +00:00
Achim D. Brucker 943af164f4 Fixed typo. 2022-10-30 21:15:45 +00:00
Achim D. Brucker 873151b4f3 Update to Isabelle 2022. 2022-10-30 17:56:15 +00:00
Achim D. Brucker 82645c2e8e Update to Isabelle 2022. 2022-10-30 17:30:21 +00:00
Achim D. Brucker f09a2df943 Merge branch 'makarius-isabelle_dev' into Isabelle_dev 2022-10-30 11:53:13 +00:00
Achim D. Brucker cfdbd18bfa Resolved merge conflict. 2022-10-30 11:52:41 +00:00
Achim D. Brucker 0b807ea4bc Merge branch 'main' into Isabelle_dev 2022-10-30 11:22:13 +00:00
Makarius Wenzel 516f5d2f79 Merely use session structure instead of component settings. 2022-10-24 22:11:30 +02:00
Makarius Wenzel 5ac41a72ac More accurate treatment of sty files: do not just copy from all examples. 2022-10-24 21:58:10 +02:00
Makarius Wenzel 15feeb7d92 More standard package name: appears to work properly in Isabelle2022. 2022-10-24 21:38:01 +02:00
Makarius Wenzel 0c8a0e1d63 Adapted to Isabelle/1ac2416e8432 -- approx. Isabelle2022 release. 2022-10-24 21:30:49 +02:00
Burkhart Wolff 0aec98b95a cell row column parser setup 2022-10-11 21:43:13 +02:00
Burkhart Wolff 43871ced48 text-term* and text-value* antiquotation syntax, and more on tables. 2022-10-11 21:00:33 +02:00
Burkhart Wolff 0fa1048d6d description of the tab model. 2022-10-10 13:51:54 +02:00
Burkhart Wolff 33490f8f15 table cell syntax implemented; roughly tested. 2022-10-09 14:01:53 +02:00
Burkhart Wolff 01632b5251 hoisting cm pt syntax intp COL 2022-10-06 16:59:42 +02:00
Burkhart Wolff 8a54831295 more elements for table parser. 2022-10-03 08:23:05 +02:00
Burkhart Wolff 427226f593 some stuff with tables 2022-09-27 12:16:31 +02:00
Achim D. Brucker f14c0bebbb Merge branch 'main' into Isabelle_dev 2022-08-11 23:04:29 +01:00
Achim D. Brucker 7f500dc257 Migration to latest Isabelle development version. 2022-08-11 23:04:07 +01:00
Burkhart Wolff c05bb0bf4d fixing latex error(thank jenkins for alerting me) 2022-08-04 12:00:18 +02:00
Burkhart Wolff 66f78001eb little game with scalar type 2022-08-04 11:31:53 +02:00
Burkhart Wolff 5a06d3618b Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF 2022-08-04 11:27:39 +02:00
Burkhart Wolff e63ef4e189 ... 2022-08-04 11:27:31 +02:00
Burkhart Wolff bba7d9d5c5 syntactic massage of an interface description. 2022-08-03 11:44:33 +02:00
Burkhart Wolff 07a9c10001 Converntion for ROOTS restored. 2022-08-02 15:00:45 +02:00
Burkhart Wolff 5779c729a4 added more examples for use of SI units in mini-odo. 2022-08-02 11:58:26 +02:00
Burkhart Wolff 03f2836f5d ... 2022-08-02 10:58:35 +02:00
Burkhart Wolff d2703b0dbd added first examples for use of SI units in mini-odo. 2022-08-02 10:46:50 +02:00
Achim D. Brucker 9f2e2b53a4 Merge branch 'main' into Isabelle_dev 2022-08-01 22:58:21 +01:00
Achim D. Brucker 4caee16cb6 Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF 2022-08-01 22:24:50 +01:00
Achim D. Brucker 6ee7058d51 Check for the presence of Physical_Quantities. 2022-08-01 22:22:55 +01:00
Burkhart Wolff 583636404f renamed cenelec_document into cenelec_report. 2022-08-01 21:50:49 +02:00
Burkhart Wolff 8a9684590a pass through miniôdo: deeper ontological reasoning, less LaTeX. 2022-08-01 21:42:32 +02:00
Burkhart Wolff 81c4ae2c13 first version of new commands onto_class // doc_class 2022-08-01 15:53:33 +02:00
Achim D. Brucker 2c1b56d277 Port to development version of Isabelle. 2022-07-23 16:14:14 +01:00
Achim D. Brucker f40d33b9ed Ad-hoc port to development version of Isabelle. 2022-07-17 22:46:56 +01:00
Achim D. Brucker 6a94728747 Port to development version of Isabelle. 2022-07-17 20:47:17 +01:00
Achim D. Brucker 99facb109c Fixed link to latest version of the manual. 2022-07-08 12:57:43 +01:00
Achim D. Brucker f6d97db0d3 Fixed markdown. 2022-07-08 12:37:04 +01:00
Achim D. Brucker 4a6fa93644 Fixed markdown. 2022-07-08 12:36:35 +01:00
Achim D. Brucker 6ca0b0fd21 Fixed markdown. 2022-07-08 12:36:09 +01:00
Achim D. Brucker 65ae177fbc Switched back to unreleased. 2022-07-08 12:35:15 +01:00
Achim D. Brucker b93ff8f65c Bumped version to 1.3.0. 2022-07-08 12:16:00 +01:00
Achim D. Brucker adf87dfde4 Bumped version to 1.3.0. 2022-07-08 12:05:39 +01:00
Achim D. Brucker df5d037942 Bumped version to 1.3.0. 2022-07-08 12:04:20 +01:00
Achim D. Brucker f2f48f2340 Updated Changelog for the release of v1.3.0. 2022-07-08 11:34:18 +01:00