Burkhart Wolff
d7b625ae04
little debug.
2021-04-21 20:27:23 +02:00
Burkhart Wolff
3b21df199b
addded docitem ML antiquotation. (Kleine Fingeruebung).
2021-04-21 20:24:06 +02:00
Burkhart Wolff
d86e708154
a first imprfect solution for the assert* problem; 4th chapter roughly completed.
2021-01-03 14:07:21 +01:00
Burkhart Wolff
aee1d33709
renaming ISA's; new shortcuts; more content in the RefMan.
2021-01-02 15:57:28 +01:00
Burkhart Wolff
efeee1e863
Eliminated deprecated abstract class residuals; lifted Definition* to math_content.
2020-11-10 13:07:54 +01:00
Burkhart Wolff
094281cf89
added wrapper to achims listings environments.
2020-08-28 12:42:20 +02:00
Burkhart Wolff
d206bf9f7c
shifted new env up into COL. Declared in the Frontmatter.
2020-08-27 15:54:51 +02:00
Burkhart Wolff
38ba8cace0
brought experiments with generic sub-text-element-environments into shape
2020-08-27 14:08:49 +02:00
Burkhart Wolff
fef4243e45
added define_macro2
2020-08-27 10:13:52 +02:00
Burkhart Wolff
b3ff21e210
introducing and testing of macros bindex and index.
2020-08-26 17:08:45 +02:00
Burkhart Wolff
41a1eaed44
added define_macros, corrections in 02_Background
2020-08-26 14:38:39 +02:00
Burkhart Wolff
00c4d15259
first feedback on Yakoubs CC
2020-08-26 11:48:25 +02:00
Burkhart Wolff
1dd07880ea
inbtroduced shortcut interface.
2020-08-26 09:56:25 +02:00
Burkhart Wolff
7a768cfdeb
versatile
2020-08-26 08:43:39 +02:00
Burkhart Wolff
338bb7d4a4
Code cleanup.
2020-08-25 11:59:10 +02:00
Burkhart Wolff
a792cc79d2
was lucky to solve a deep bug in standard antiquotation evaluation inside text* soon.
2020-08-25 11:11:38 +02:00
Burkhart Wolff
8002ec31bb
cleanups after discussion
2020-08-24 14:36:22 +02:00
Burkhart Wolff
ff63b441b0
more on aop
2020-08-24 13:18:25 +02:00
Burkhart Wolff
dbce392e8b
experiments with latex generation for aoo presentation.
2020-08-24 12:11:30 +02:00
Burkhart Wolff
7cb6577797
solved presentation bug (brown) and eliminated some code dups
2020-08-24 11:33:32 +02:00
Burkhart Wolff
f5622c2f59
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
2020-06-23 11:22:41 +02:00
Burkhart Wolff
af9e399f50
some experiments with OoOP and the code support presentations.
2020-06-23 11:22:33 +02:00
Burkhart Wolff
016a9e6454
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
2020-06-22 17:42:48 +02:00
Burkhart Wolff
7e2224859e
mmm
2020-06-22 17:42:40 +02:00
Burkhart Wolff
4717925eea
Zwischenzustand OoO Generation
2020-06-16 09:08:36 +02:00
Burkhart Wolff
d86c713e37
first running study of OoO - Presentation
2020-06-12 16:36:54 +02:00
Burkhart Wolff
9496b535b7
restructuring Lib. Adaption LaTeX. Reorg COL.
2020-04-23 14:31:59 +02:00
Achim D. Brucker
fa25654db9
Merge branch 'master' into Unreleased/Isabelle2020-RC4
2020-04-10 20:26:34 +01:00
Burkhart Wolff
0c4a5a5fea
eliminating deprecated syntax
2020-04-09 23:58:58 +02:00
Achim D. Brucker
0c41ee46bb
Port to Isabelle 2020 (tested with Isabelle 2020 RC4).
2020-04-08 13:12:17 +01:00
Burkhart Wolff
cc98979f43
more on class_id synonyms
2020-02-21 16:33:28 +01:00
Burkhart Wolff
5b0db2efb1
New Regrouping in the scholarly Onto + LaTeX support. Tested.
2020-02-19 18:13:33 +01:00
Burkhart Wolff
6135820127
Little improvements in examples and presentation.
2019-12-06 15:41:41 +01:00
Burkhart Wolff
cc787cb9f1
Added Fred's example on modifying the proof context for parsing.
2019-10-01 17:57:26 +02:00
Achim D. Brucker
60ebbbe12c
Updated license information.
2019-08-15 15:09:55 +01:00
Burkhart Wolff
b5fe2d9085
Solution to the assert - Bug : stronger checks in doc_class that reject correctly constructed, but lexically illegal long_names for doc_classes.
2019-08-14 17:22:55 +02:00
Achim D. Brucker
8953f37629
Large directory restructuring.
...
This commit restructures the file hierarchy:
1) implementation is moved into src/ directory to clean up
the main directory and to make it easier for users to
find the README.md.
2) ontologies (both, the Isabelle-part and the LaTeX-part) are
now structured into directories.
2019-07-20 21:12:40 +01:00