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

682 Commits

Author SHA1 Message Date
Achim D. Brucker 0b807ea4bc Merge branch 'main' into Isabelle_dev 2022-10-30 11:22:13 +00:00
Burkhart Wolff 33490f8f15 table cell syntax implemented; roughly tested. 2022-10-09 14:01:53 +02:00
Achim D. Brucker f14c0bebbb Merge branch 'main' into Isabelle_dev 2022-08-11 23:04:29 +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
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 45e4a11a74 Clarified that before calling the install-afp script, Isabelle/DOF needs to be registered as a component. 2022-07-02 22:21:07 +01:00
Achim D. Brucker 909dda1ea2 Documented component registration. 2022-06-29 18:50:44 +01:00
Achim D. Brucker 5721398340 Documented document_build=dof option. 2022-06-26 19:14:08 +01:00
Achim D. Brucker 6c0d325673 Use full qualified name for templates. 2022-06-26 19:06:49 +01:00
Achim D. Brucker 70b2647e7c Using full-qualified names for ontologies in ROOT files. 2022-06-26 18:45:47 +01:00
Achim D. Brucker b83f7a8abb Updated manual. 2022-06-24 16:58:07 +01:00
Achim D. Brucker ef674b5ae2 Migrated, tested, and debugged new configuration setup. 2022-06-24 14:48:49 +01:00
Achim D. Brucker 41e6c9ed02 Fixed file attributes. 2022-04-18 09:44:44 +01:00
Achim D. Brucker fee83a2a29 Remove outdated and obsoleted ontologies. 2022-04-16 09:13:31 +01:00
Achim D. Brucker a0993b6eea Initial commit. 2022-04-15 22:05:19 +01:00
Achim D. Brucker 2e4fb5d174 Added development version of authorarchive.sty, as version in TexLive 2022 is outdated. 2022-04-15 21:13:10 +01:00
Achim D. Brucker 317c5a7759 Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF 2022-04-15 21:03:59 +01:00
Achim D. Brucker 12f1b230e6 Use LNCS template. 2022-04-15 21:01:53 +01:00
Nicolas Méric 1457c1cb85 Fix typo in upd_meta_args rail road in manual 2022-04-08 13:04:50 +02:00
Nicolas Méric 17df6a271b Delete some TODOs, now done, in the manual 2022-04-08 12:06:28 +02:00
Nicolas Méric a331b80095 Update images for meta arguments list attribute exploration 
Fix #10
 2022-04-08 11:33:41 +02:00
Nicolas Méric 9603311a9a Fix DOF manual and tests to work with assert* 2022-04-01 09:54:16 +02:00
Burkhart Wolff 2351e00be6 corrected and re-inserted Ecclectic Man into build 2022-03-31 15:55:01 +02:00
Burkhart Wolff 3e99e9e013 more discrepancies in the EcclecticMan solved. 2022-03-31 15:42:18 +02:00
Burkhart Wolff d2e1d77b01 some corrections in the Eccectic RefMan 2022-03-31 13:49:46 +02:00
Burkhart Wolff 894166a630 Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF 2022-03-30 16:19:36 +02:00
Burkhart Wolff 34df9f6fcd some bugs corrected 2022-03-30 16:19:31 +02:00
Nicolas Méric e4e4a708a5 Update assert* to use isabelle/DOF evaluation 2022-03-30 08:12:17 +02:00
Nicolas Méric 9cd5323063 Update DOF manual meta-types as types section 
Types of the implementation language inside the HOL type system
are now represented as datatypes and not just abstract types
 2022-03-29 15:22:44 +02:00
Achim D. Brucker 4a7605b43e Removed build script from default document directory layout. 2022-03-27 14:59:43 +01:00
Achim D. Brucker 7b8ae0a93d Make use of install script optional in favor of registration as Isabelle component. Style files, templates, and scripts are no longer installed into ISABELLE_USER_HOME. 2022-03-27 13:21:55 +01:00
Achim D. Brucker 7b4450450d Hide use of build script from users. 2022-03-27 12:02:15 +01:00
Achim D. Brucker 05e85edd91 Removed non-distribution note for llncs.cls. This class is now available on CTAN and part of TeXLive (at least from version 2022). 2022-03-26 21:31:05 +00:00
Achim D. Brucker 21ab0ff6b9 Removed reference to Docker use. 2022-03-26 20:08:17 +00:00
Achim D. Brucker f4286404fb Merge branch 'v1.2.x/Isabelle2021' 2022-03-26 18:25:33 +00:00
Achim D. Brucker a1d83e33ef Updated manual to reflect changes in options for install script. 2022-03-26 18:23:07 +00:00
Achim D. Brucker 1a41e92188 Minor shortenings to improve layout. 2022-03-26 17:47:40 +00:00
Achim D. Brucker 5381182ab2 Spell-checking. 2022-03-26 13:26:51 +00:00
Achim D. Brucker 76582f75fd Merge branch 'master' into porting_to_Isabelle2021-1 2022-03-23 14:33:44 +00:00