2086 Commits

All Branches

Search

Author	SHA1	Message	Date
Achim D. Brucker	c3aaaf9ebb	Force pull of container and print latest log from Isabelle repo.	2023-04-28 07:33:24 +01:00
Achim D. Brucker	47e8fc805f	Merge branch 'main' into Isabelle_dev	2023-04-27 14:54:52 +01:00
Achim D. Brucker	02bf9620f6	Changed registry.	2023-04-27 14:54:22 +01:00
Nicolas Méric	18be1ba5f5	Clean up dead code	2023-04-27 15:16:47 +02:00
Nicolas Méric	93c722a41b	Update malformed theory names ... Theory names should use Isabelle inner syntax to allow objects referencing using long names. For inner syntax, see the isar-ref manual about syntax category "longid", which is the same as "long_ident" of outer syntax (but not "name" or "system_name").	2023-04-27 14:53:17 +02:00
Nicolas Méric	0f48f356df	Fix sml latex environment issue with "$"	2023-04-27 14:53:17 +02:00
Achim D. Brucker	870a4eec57	Merge branch 'main' into Isabelle_dev	2023-04-27 13:35:40 +01:00
Achim D. Brucker	4df233e9f4	Updated image name.	2023-04-27 13:35:11 +01:00
Burkhart Wolff	5d7b50ca7f	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-04-27 13:03:07 +02:00
Burkhart Wolff	1ebfaccb50	amended explication of examples.	2023-04-27 13:02:57 +02:00
Burkhart Wolff	7ce3fdf768	added LNCS number to ABZ paper	2023-04-27 13:02:37 +02:00
Burkhart Wolff	db130bd6ce	...	2023-04-26 15:31:14 +02:00
Achim D. Brucker	496a850700	Merge branch 'main' into Isabelle_dev	2023-04-26 08:37:45 +01:00
Achim D. Brucker	101f96a261	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2023-04-26 08:16:39 +01:00
Achim D. Brucker	49aa29ee68	Normalised LaTeX command names.	2023-04-26 08:16:32 +01:00
Burkhart Wolff	2919f5d2a5	animation over ontologies vs. meta-language	2023-04-26 07:14:46 +02:00
Burkhart Wolff	6cafcce536	boxed sml preserves now $.	2023-04-25 22:05:33 +02:00
Burkhart Wolff	ebce149d6a	...	2023-04-25 17:50:05 +02:00
Burkhart Wolff	6984b9ae03	minor stuff	2023-04-25 17:09:36 +02:00
Burkhart Wolff	74e2341971	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-04-25 16:21:05 +02:00
Burkhart Wolff	16caefc7be	revision/restructuring > pp 40	2023-04-25 16:20:58 +02:00
Achim D. Brucker	0d74645d2e	Merge and upgrade to development version of Isabelle/HOL.	2023-04-24 22:26:39 +01:00
Burkhart Wolff	f906d45d48	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-04-24 12:15:27 +02:00
Burkhart Wolff	761a336a7a	Nicos improvements.	2023-04-24 12:05:04 +02:00
Nicolas Méric	b3f396fb08	Fix abstract \isadof macro name	2023-04-20 14:55:27 +02:00
Burkhart Wolff	77aeb3b7ca	...	2023-04-20 14:29:38 +02:00
Burkhart Wolff	81208f73a8	more thorough reference tests ....	2023-04-20 14:29:25 +02:00
Burkhart Wolff	f093bfc961	...	2023-04-20 11:46:50 +02:00
Burkhart Wolff	2c7df482e8	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-04-20 09:47:30 +02:00
Burkhart Wolff	c9de5f2293	put ltxinline into macro notation	2023-04-20 09:47:22 +02:00
Nicolas Méric	c6dc848438	Some cleanup	2023-04-20 08:30:09 +02:00
Burkhart Wolff	1acf863845	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-04-19 21:50:51 +02:00
Burkhart Wolff	a6aca1407e	added sec on term atq, restructuring	2023-04-19 21:50:43 +02:00
Burkhart Wolff	4c953fb954	revised sec 3	2023-04-19 21:17:07 +02:00
Nicolas Méric	77e8844687	Fix Cenelec test build error	2023-04-19 15:57:43 +02:00
Nicolas Méric	939715aba9	Fix scholarly_paper	2023-04-19 15:53:31 +02:00
Burkhart Wolff	d809211481	revision to 2 completed, still todo'ds in 3 and 4 and beyond	2023-04-19 13:17:26 +02:00
Achim D. Brucker	480272ad86	Merge branch 'main' into Isabelle_dev	2023-04-16 08:45:16 +01:00
Achim D. Brucker	d277fa2aed	Updated READMEs after session renaming.	2023-04-15 16:55:15 +01:00
Achim D. Brucker	9318ea55a0	Fixed archive building after session renaming.	2023-04-15 16:52:25 +01:00
Achim D. Brucker	3408b90f89	Added autoref names.	2023-04-15 13:16:14 +01:00
Burkhart Wolff	dd0a9981a3	LaTeX bug fixed, little optimizations	2023-04-15 10:30:04 +02:00
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