1433 Commits

All Branches

Search

Author	SHA1	Message	Date
Nicolas Méric	a82f316997	Implement CENELEC Table A.1	2022-05-27 19:44:04 +02:00
Nicolas Méric	9673359688	Enable high level invariants checking for some commands ... Enable high level invariants checking for the update_instance* and close_monitor* commands	2022-05-27 17:14:17 +02:00
Nicolas Méric	5d1b271336	Allow access to the monitor table for low level invariants ... When defining low level invariants checking functions, access to the monitor table might be useful. So the table should be populated before the checking takes place.	2022-05-27 14:46:04 +02:00
Nicolas Méric	83c790d66a	Handle normalization of trace attribute	2022-05-26 12:56:21 +02:00
Nicolas Méric	9981c31966	Normalize docobj table value ... Normalize the record registered as value in the docobj table, i.e., the logical value of a docitem (a class instance)	2022-05-25 17:10:57 +02:00
Nicolas Méric	319b39905f	Update CENELEC_50128 implementation ... - Update phase datatype to be accurate with 7.3 in the standard - Update cenelec_document class: according to the table C.1 in the standard, written by, first check, and second check can be optional. See Phase Planning line 4 in the table, for example - Some specifications are external to the standard: implement them as external_specification subclasses - Fix phases attributes of classes	2022-05-18 18:23:57 +02:00
Nicolas Méric	c00c6ed31d	Fix Terms and Definitons section in CENELEC	2022-05-12 16:04:09 +02:00
Nicolas Méric	ae3300ac2c	Import of CENELEC_50128.thy changes from /ICFEM-2022	2022-05-11 18:15:33 +02:00
Achim D. Brucker	61f167c29c	Made all import paths globally qualified.	2022-05-06 09:17:10 +01:00
Achim D. Brucker	2833deff90	Harmonizing the various root templates.	2022-04-22 20:51:42 +01:00
Achim D. Brucker	a8424979eb	Removed support for oldstyle font commands.	2022-04-21 22:59:11 +01:00
Achim D. Brucker	15e71fe189	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2022-04-20 11:08:29 +01:00
Achim D. Brucker	45c23b4330	Fixed environment for isamarkupabstract.	2022-04-20 11:07:06 +01:00
Nicolas Méric	d8fde4b4f4	Cleanup and add test for meta-args for assert*	2022-04-19 14:05:52 +02:00
Achim D. Brucker	41e6c9ed02	Fixed file attributes.	2022-04-18 09:44:44 +01:00
Achim D. Brucker	cbad96aba5	Fixed file attributes.	2022-04-18 09:22:57 +01:00
Achim D. Brucker	82c9a07c1a	Fixed file attributes.	2022-04-18 09:20:55 +01:00
Achim D. Brucker	ae8b91ac4e	Fixed file attributes.	2022-04-18 09:20:36 +01:00
Achim D. Brucker	0f3f5d4b56	Fixed file attributes.	2022-04-17 16:32:12 +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	64b4eca5ea	Avoid using natbib.	2022-04-15 21:56:01 +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
Achim D. Brucker	530783c23b	Bug fix: handling of arguments for top-level author* command.	2022-04-15 20:49:05 +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	e3caad804b	Fix {Theorem, Lemma}_default_class theory attributes ... Fix #11	2022-04-08 12:17:24 +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	74420a932f	Clean up check_invariants	2022-04-07 15:36:01 +02:00
Nicolas Méric	8e1702d2da	Add IDE reporting for attributes in meta-argument list	2022-04-07 15:33:24 +02:00
Achim D. Brucker	609f09e919	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2022-04-04 16:04:51 +01:00
Achim D. Brucker	0f5e5bf6f6	Bug fix: -o option not working (reporting an error claiming that ontologies could not be found).	2022-04-04 16:04:10 +01:00
Achim D. Brucker	5c886d49b4	Defined basic set of options.	2022-04-03 22:45:47 +01:00
Nicolas Méric	b1f73e9235	Delete Isabelle marks file	2022-04-01 11:54:49 +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	96726fc507	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2022-03-31 10:12:51 +02:00
Burkhart Wolff	a68ecb4f11	...	2022-03-31 10:12:46 +02:00
Achim D. Brucker	1ea897e660	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2022-03-31 06:39:46 +01:00
Achim D. Brucker	1b25a08da8	Added email notification for failed builds.	2022-03-31 06:39:01 +01:00
Burkhart Wolff	6a7b5c6afb	fixed term* bug (non-evaluation of meta-args). Needs cleanup.	2022-03-31 06:57:18 +02:00
Burkhart Wolff	9403afd86f	addressing the value* transmission problem - not yet solved completely	2022-03-30 17:54:02 +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	c5a3239d2b	Merge pull request 'eager-and-lazy-elaboration' (#17) from nicolas.meric/Isabelle_DOF:eager-and-lazy-elaboration into main ... Reviewed-on: #17	2022-03-30 06:48:31 +00:00
Nicolas Méric	e4e4a708a5	Update assert* to use isabelle/DOF evaluation	2022-03-30 08:12:17 +02:00