2072 Commits

All Branches

Search

Author	SHA1	Message	Date
Burkhart Wolff	36740bf72b	debugging fig_content	2023-05-11 11:48:05 +02:00
Burkhart Wolff	b8da1a304a	Improved fig_content, fix backend bugs in COL_Test	2023-05-10 18:31:27 +02:00
Burkhart Wolff	5b519fcbe6	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-05-10 15:54:17 +02:00
Burkhart Wolff	50da7670cf	Some repair on the coherence problems in COL	2023-05-10 15:54:02 +02:00
Achim D. Brucker	09d1b27f10	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2023-05-10 15:21:35 +02:00
Achim D. Brucker	34e23b314f	Overwrite checks by scholarly paper.	2023-05-10 15:21:29 +02:00
Burkhart Wolff	0aa9f1ff25	renamed figure2 into float	2023-05-10 12:37:29 +02:00
Achim D. Brucker	3f8fc4f16f	Tuning.	2023-05-10 11:13:45 +02:00
Achim D. Brucker	b62b391410	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2023-05-10 10:40:44 +02:00
Achim D. Brucker	41a4f38478	Initial support for Springer Nature's LaTeX template.	2023-05-10 10:40:19 +02:00
Burkhart Wolff	ca8671ee1c	a version with @{fig_content in the test	2023-05-09 23:12:50 +02:00
Burkhart Wolff	9e210b487a	a version with @{fig_content in the test	2023-05-09 23:08:57 +02:00
Burkhart Wolff	6317294721	layout trimming	2023-05-09 22:37:41 +02:00
Burkhart Wolff	762680a20c	eliminated calamity with tick symbol, layout imprivements, eliminated docitem	2023-05-09 20:18:33 +02:00
Burkhart Wolff	850244844b	eliminated calamity with tick symbol, layout imprivements, eliminated docitem	2023-05-09 20:17:00 +02:00
Burkhart Wolff	322d70ef69	deleting subparagraph (never used),orienting Example-I on figure2.	2023-05-09 16:15:47 +02:00
Burkhart Wolff	b04ff7e31a	Some first test on the COL library, assuring coherence between text* and figure* versiona.	2023-05-09 12:59:42 +02:00
Burkhart Wolff	7ba220e417	LaTeX sty Bug xrt figure2	2023-05-09 12:16:37 +02:00
Burkhart Wolff	713a24615f	LaTeX sty Bug xrt figure2	2023-05-09 12:13:23 +02:00
Burkhart Wolff	7ffdcbc569	experiment with figure2	2023-05-09 04:14:57 +02:00
Achim D. Brucker	43ce393e4a	Merge branch 'main' into isabelle_nightly	2023-05-07 17:43:31 +01:00
Burkhart Wolff	4326492b39	false box	2023-05-06 15:55:22 +02:00
Burkhart Wolff	1e7f6a7c18	trimming, putting the begin-figure blocks in independent text elements	2023-05-06 15:15:53 +02:00
Achim D. Brucker	a087e94ebe	Merge branch 'main' into isabelle_nightly	2023-05-05 06:18:51 +01:00
Achim D. Brucker	78cb606268	Removed mkroot example, which is only available when using Isabelle/DOF as a proper Isabelle component.	2023-05-04 14:20:40 +01:00
Achim D. Brucker	c40a5a74c1	Ad-hoc conversion of listing-environments (LaTeX) to boxed-antiquotations.	2023-05-04 14:11:32 +01:00
Achim D. Brucker	fc214fc391	Merge branch 'main' into isabelle_nightly	2023-05-03 11:57:59 +01:00
Burkhart Wolff	f613811154	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-05-03 10:55:44 +02:00
Burkhart Wolff	4c66716999	experiments with boxes	2023-05-03 10:55:37 +02:00
Achim D. Brucker	639abb6cf5	Removed not used listings setup.	2023-05-02 23:06:02 +01:00
Achim D. Brucker	2c00f4b8db	Synchronised updates.	2023-05-02 22:34:34 +01:00
Burkhart Wolff	d9e2f251d2	Kleinkram	2023-05-02 12:21:48 +02:00
Burkhart Wolff	cec21c9935	kicked out inlineisar	2023-05-02 11:37:03 +02:00
Achim D. Brucker	640a867f28	Port to Isabelle Nightly.	2023-04-28 15:00:10 +01:00
Achim D. Brucker	0c654e2634	Pull image for build ...	2023-04-28 11:21:13 +01:00
Achim D. Brucker	01bcc48c79	Fixing repo location in container (Fixes #26).	2023-04-28 11:20:23 +01:00
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