Achim D. Brucker
c11e68e3ea
Bug fix: Definition environment.
2020-12-01 07:46:20 +00:00
Burkhart Wolff
efeee1e863
Eliminated deprecated abstract class residuals; lifted Definition* to math_content.
2020-11-10 13:07:54 +01:00
Burkhart Wolff
2ecb62a80e
added Lemma*, Theorem* and Definition* support. Bug: referencing does not work.
2020-11-04 15:55:43 +01:00
Burkhart Wolff
da0f3e63f1
more steps to reform document macro mechanism
2020-11-04 13:13:24 +01:00
Achim D. Brucker
1ad81aff35
Added support for explicit abstract* command.
2020-11-03 21:47:05 +00:00
Achim D. Brucker
1129a0ed3e
Added support for explicit author* command.
2020-11-03 21:43:55 +00:00
Burkhart Wolff
bad7dfc2ef
new set of macros : author* and abstract* --- not working yet
2020-11-03 19:00:33 +01:00
Burkhart Wolff
fe8f63690d
macro-arrangement ...
2020-11-02 18:30:40 +01:00
Burkhart Wolff
aa1fed2440
sdf
2020-11-02 14:12:27 +01:00
Burkhart Wolff
abd32a802d
First Pass of Chap 4 - Added invariant syntax description, more semantic content
2020-10-26 12:27:33 +01:00
Achim D. Brucker
a175871474
Improved definition of \ie and \eg.
2020-10-06 04:45:14 +01:00
Burkhart Wolff
d655effcf8
pushup.
2020-09-22 16:47:05 +02:00
Burkhart Wolff
9956bbf062
pushup, stiluebungen.
2020-09-22 16:35:28 +02:00
Achim D. Brucker
3eef2291e5
Integrated DOF-scholarly_paper-thm.sty.
2020-09-07 23:57:15 +01:00
Achim D. Brucker
7956a3009a
Initial commit: style for providing theorem-like default environments.
2020-09-07 23:56:43 +01:00
Burkhart Wolff
ef93285ec7
added a little useful template generation command
Isabelle_DOF/Isabelle_DOF/pipeline/head There was a failure building this commit
Details
2020-06-23 14:02:04 +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
Achim D. Brucker
1c5bb85233
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/pipeline/head There was a failure building this commit
Details
2020-06-23 07:29:20 +01:00
Achim D. Brucker
81ee0d9bbb
Bug fix: support for UTF8 characters in author's names.
2020-06-23 06:56:35 +01:00
Burkhart Wolff
7e2224859e
mmm
2020-06-22 17:42:40 +02:00
Burkhart Wolff
d2d908534d
Small corrections
Isabelle_DOF/Isabelle_DOF/pipeline/head There was a failure building this commit
Details
2020-05-20 14:55:49 +02:00
Burkhart Wolff
9b0c2cdcd8
added support for defn, lem, thm short-calls.
2020-05-19 17:32:25 +02:00
Burkhart Wolff
fa931b45e2
re-localization of onto macros. Tested.
2020-04-23 18:30:46 +02:00
Burkhart Wolff
6f8cd88623
nitty gritties
2020-04-23 16:59:49 +02:00
Burkhart Wolff
8328626fa4
Restructuring library prep.
2020-04-23 16:08:05 +02:00
Burkhart Wolff
9496b535b7
restructuring Lib. Adaption LaTeX. Reorg COL.
2020-04-23 14:31:59 +02:00
Burkhart Wolff
2e0d88a3f7
restructuring of COL, scholarly_paper, etc. Facturong out Macros.
2020-04-22 15:31:47 +02:00
Achim D. Brucker
c320b58dd3
Merge remote-tracking branch 'origin/Unreleased/Isabelle2020-RC4'
2020-04-21 08:37:59 +01:00
Burkhart Wolff
2e7513271b
support along AMS style for mcc.
2020-04-14 14:48:16 +02:00
Burkhart Wolff
88d4b7674e
support along AMS style for mcc.
2020-04-14 14:44:42 +02:00
Achim D. Brucker
fa25654db9
Merge branch 'master' into Unreleased/Isabelle2020-RC4
2020-04-10 20:26:34 +01:00
Burkhart Wolff
e98e945b53
debugging.
2020-04-09 20:56:12 +02:00
Burkhart Wolff
d82870d1a0
support for math_example into the Urschleim.
2020-04-09 18:12:14 +02:00
Burkhart Wolff
f1b376d4b6
added support for math_content-class in scholarly_paper in Knuth's Urschleim.
2020-04-09 17:25:09 +02:00
Burkhart Wolff
aa4e1acf84
Added invariants - and changes of invariant syntax.
...
Modified scholarly_paper onto wrt to future concepts
of referential semi_formal items (according to discussion
with Achim).
2020-04-08 23:29:15 +02:00
Achim D. Brucker
358be52b61
Updated Isabelle version.
2020-04-08 21:40:34 +01:00
Burkhart Wolff
3c90e19d11
added lemma into sty; fresh discussion with ADB on scholarly_paper onto.
2020-02-25 12:38:59 +01:00
Burkhart Wolff
77d6c2212f
first elements on SI
2020-02-23 18:36:59 +01:00
Burkhart Wolff
9035c46023
syntax and 1st level type-checking of invariants
2020-02-21 19:23:51 +01:00
Burkhart Wolff
9df43f0085
various changes of the DOF-core interface: read_cid. Preparations for type_synonyms for cids. (unfinished). Updated scholarly_paper onto
2020-02-20 13:30:51 +01:00
Burkhart Wolff
5b0db2efb1
New Regrouping in the scholarly Onto + LaTeX support. Tested.
2020-02-19 18:13:33 +01:00
Burkhart Wolff
c5b5f994ef
added onto markup support for definitions and examples in scholarly_paper lncs style
2020-02-17 23:07:34 +01:00
Burkhart Wolff
fe8a6c5c87
refinements of the technical class; added the document antiquotation doc_class; some experiments in SI.
2020-02-13 11:17:20 +01:00
Achim D. Brucker
60ebbbe12c
Updated license information.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-08-15 15:09:55 +01:00
Achim D. Brucker
6cd8cb098b
Updated license information.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-08-15 14:52:15 +01:00
Achim D. Brucker
22529362a1
Update version information during installation.
2019-08-15 14:37:04 +01:00
Achim D. Brucker
94fdf75627
Applied renaming: Paris-Sud to Paris-Saclay.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-07-28 12:01:58 +01:00
Achim D. Brucker
ee574cdf99
Removed non-supported sty-file generation.
2019-07-21 09:43:36 +01:00
Achim D. Brucker
8953f37629
Large directory restructuring.
...
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
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