2094 Commits

All Branches

Search

Author	SHA1	Message	Date
Achim D. Brucker	e549bcb23c	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2023-04-14 21:23:23 +01:00
Achim D. Brucker	04c8c8d150	Fixed setup for mathematical concepts.	2023-04-14 21:04:08 +01:00
Achim D. Brucker	a5885b3eb5	Fixed ref/label setup.	2023-04-14 20:56:43 +01:00
Achim D. Brucker	4cdb6d725b	Use DOF-CC_terminology.sty.	2023-04-14 20:55:23 +01:00
Achim D. Brucker	486ae2db97	Initial commit.	2023-04-14 20:54:45 +01:00
Burkhart Wolff	fb8da62182	minor polishing	2023-04-14 14:46:15 +02:00
Burkhart Wolff	6c588c3fe4	added diag 'integrated document'	2023-04-14 10:41:14 +02:00
Burkhart Wolff	3ab6f665eb	rearranging the story in Background	2023-04-13 22:00:35 +02:00
Burkhart Wolff	0c8bc2cab3	new high-level presentations in background	2023-04-13 18:29:10 +02:00
Burkhart Wolff	20ac16196a	...	2023-04-12 14:25:48 +02:00
Burkhart Wolff	d62cd04e26	alphabetic order of authors	2023-04-12 13:48:24 +02:00
Burkhart Wolff	96d20c127f	pass over Background	2023-04-12 13:46:05 +02:00
Burkhart Wolff	394189e9e0	twiddle of text in jedit removed.	2023-04-12 13:14:00 +02:00
Burkhart Wolff	1f79e37d9b	pass over Background	2023-04-12 13:11:09 +02:00
Burkhart Wolff	b43de570a4	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-04-12 10:34:56 +02:00
Burkhart Wolff	debddc45d2	diverse modifs.	2023-04-12 10:34:41 +02:00
Burkhart Wolff	3de5548642	reset	2023-04-11 23:17:32 +02:00
Burkhart Wolff	4157954506	revision of front, intro and bachgrnd (incomplete)	2023-04-11 23:15:32 +02:00
Burkhart Wolff	25473b177b	added (incomplete) ref to ABZ paper	2023-04-11 23:14:33 +02:00
Nicolas Méric	36cd3817cf	Quick fix for text* macros latex output	2023-04-11 18:52:57 +02:00
Burkhart Wolff	cb2b0dc230	...	2023-04-06 15:23:55 +02:00
Burkhart Wolff	c82a3a7e70	restructuring with iFM2020 as own AFP component	2023-04-06 13:48:38 +02:00
Burkhart Wolff	8c6abf2613	...	2023-04-05 16:46:21 +02:00
Achim D. Brucker	07444efd21	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2023-03-30 17:26:44 +01:00
Achim D. Brucker	c203327191	Optimized dispatcher.	2023-03-30 17:26:39 +01:00
Nicolas Méric	a90202953b	Use instance long-names for latex labels and references generation	2023-03-30 17:15:35 +02:00
Achim D. Brucker	698e6ab169	Bug fix: document variants.	2023-03-29 22:21:44 +01:00
Achim D. Brucker	320614004e	Improved LaTeX support for Lemma*, Theorem*, Definition*, etc.	2023-03-29 22:21:22 +01:00
Burkhart Wolff	91ff9c67af	repaired some obvious errors in sty - still incomplete	2023-03-29 11:41:30 +02:00
Burkhart Wolff	1838baecb9	some revision of ITP paper	2023-03-28 09:54:16 +02:00
Nicolas Méric	ef29a9759f	Some clean-up	2023-03-27 10:39:29 +02:00
Nicolas Méric	5336e0518f	Allow standard Isabelle name pattern for instances name	2023-03-27 10:00:10 +02:00
Burkhart Wolff	accc4f40b4	Improved Testset for new ontology elements	2023-03-26 20:58:55 +02:00
Burkhart Wolff	bbb4b1749c	restructured ontology; added a family of new macros for support	2023-03-26 20:57:58 +02:00
Burkhart Wolff	4ba0c705b4	deactivated CENELEC in tests (nothing tested, just time consumed)	2023-03-26 20:56:54 +02:00
Burkhart Wolff	5d89bcc86a	added some demonstrations/tests	2023-03-25 10:49:50 +01:00
Burkhart Wolff	07527dbe11	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-03-24 17:22:49 +01:00
Burkhart Wolff	c0dc60d49e	Enlarged Free-form Section	2023-03-24 17:22:44 +01:00
Burkhart Wolff	81a50c6a9e	Reactivating failing assertions	2023-03-24 17:21:36 +01:00
Burkhart Wolff	5628eaa2dc	Code Cleanup	2023-03-24 17:20:45 +01:00
Nicolas Méric	230247de1a	Update Manual and code ... - Update term context section - Add option to define a default class for declare_reference* - Use defined symbol identifiers \<quote> and \<doublequote> to simplify caveat section about lexical conventions - Rename Manual theories to avoid issues when using Syntax.parse_term that is not compatible with with long-names staring with a number or an underscore - Rewrite names used as mixfix annotation for the term-antiquotations to rule out mixform form excluded symbols	2023-03-24 17:02:24 +01:00
Burkhart Wolff	0834f938a9	code cleanup	2023-03-24 12:59:54 +01:00
Burkhart Wolff	63c2acfece	improved title setup for testSuite	2023-03-24 10:41:32 +01:00
Burkhart Wolff	3a4db69184	updated Evaluation Section	2023-03-24 08:28:14 +01:00
Burkhart Wolff	3fc4688f69	updated Evaluation Section	2023-03-24 08:13:51 +01:00
Burkhart Wolff	7dbd016b5d	Pass throúgh evaluations	2023-03-24 08:08:55 +01:00
Burkhart Wolff	3b446c874d	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-03-21 14:33:25 +01:00
Burkhart Wolff	4de23de5ee	...	2023-03-21 14:33:21 +01:00
Nicolas Méric	4bd31be71d	Remove obsolete termrepr term anti-quotation ... - Also some clean-up	2023-03-20 16:50:23 +01:00
Nicolas Méric	826fc489b7	Fix wrong getters and mappings naming	2023-03-17 21:09:28 +01:00