Makarius Wenzel
cc3e2a51a4
More antiquotations
2022-12-02 13:50:16 +01:00
Makarius Wenzel
9e4e5b49eb
More antiquotations from Isabelle2021-1/2022
2022-12-02 11:41:31 +01:00
Makarius Wenzel
b65ecbdbef
Updated to Isabelle2022
2022-12-02 10:34:15 +01:00
Makarius Wenzel
3be2225dcf
Tuned comments
2022-12-01 22:54:01 +01:00
Makarius Wenzel
f44f0af01c
Use regular Toplevel.presentation from Isabelle2022, without alternative presentation hook
2022-12-01 22:48:45 +01:00
Makarius Wenzel
9a11baf840
Latex.output_name name is back in Isabelle2022
2022-12-01 22:04:56 +01:00
Makarius Wenzel
48c167aa23
Proper DOF.artifact_url
2022-12-01 21:45:06 +01:00
Makarius Wenzel
700a9bbfee
clarified DOF.options: hard-wired document_comment_latex always uses LaTeX version of comment.sty
2022-12-01 21:30:32 +01:00
Makarius Wenzel
73299941ad
Tuned
2022-12-01 17:26:29 +01:00
Makarius Wenzel
5a8c438c41
Omit excessive quotes
2022-12-01 16:48:33 +01:00
Makarius Wenzel
7772c73aaa
More accurate defaults
2022-12-01 16:39:41 +01:00
Makarius Wenzel
ca18453043
Clarified signature: more explicit types and operations
2022-12-01 16:28:44 +01:00
Makarius Wenzel
1a122b1a87
More robust default
2022-12-01 15:48:52 +01:00
Makarius Wenzel
47d95c467e
Tuned whitespace
2022-12-01 15:33:16 +01:00
Makarius Wenzel
bf3085d4c0
Clairifed defaults and command-line options
2022-12-01 15:26:48 +01:00
Makarius Wenzel
068e6e0411
Tuned
2022-12-01 14:23:00 +01:00
Makarius Wenzel
09e9980691
Tuned
2022-12-01 14:22:32 +01:00
Makarius Wenzel
94ce3fdec2
Prefer constants in Scala, to make this independent from component context
2022-12-01 14:15:17 +01:00
Makarius Wenzel
44819bff02
Updated message, following c29ec9641a
2022-12-01 12:44:03 +01:00
Makarius Wenzel
a6ab1e101e
Update Isabelle + AFP URLs
2022-12-01 11:55:51 +01:00
Makarius Wenzel
c29ec9641a
Simplified installation
2022-12-01 11:45:12 +01:00
Nicolas Méric
06833aa190
Upddate single argument handling for compute_attr_access
...
Trigger error when the attribute is not specified as an argument
of the antiquatation and is not an attribujte of the instance.
(In these case, the position of the attribute is NONE)
2022-11-28 10:05:47 +01:00
Nicolas Méric
4f0c7e1e95
Fix type unification clash for trace_attribute term antiquotation
2022-11-25 08:57:59 +01:00
Nicolas Méric
0040949cf8
Add trace-attribute term antiquotation
...
- Make doc_class type and constant used by regular expression
in monitors ground
- Make class tag attribute ground (with serial())
- The previous items make possible
the evaluation of the trace attribute
and the definition of the trace-attribute term annotation
2022-11-24 16:47:21 +01:00
Nicolas Méric
e68c332912
Fix markup for some antiquotations
...
Fix markup for docitem_attribute and trace_attribute
ML and text antiquotations
2022-11-24 11:22:02 +01:00
Burkhart Wolff
b2c4f40161
Some LaTeX experiments with Achim
2022-11-18 10:30:33 +01:00
Burkhart Wolff
309952e0ce
syntactic rearrangements
2022-11-09 11:19:00 +01:00
Burkhart Wolff
830e1b440a
ported another Figure* in OutOfOrderPresntn to Isabelle2022
2022-11-09 06:06:30 +01:00
Burkhart Wolff
2149db9efc
semantics of fig_content (untested)
2022-11-08 20:52:58 +01:00
Burkhart Wolff
1547ace64b
added some semantics to fig_content
2022-11-08 19:27:07 +01:00
Burkhart Wolff
39acd61dfd
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
2022-11-08 10:03:30 +01:00
Burkhart Wolff
29770b17ee
added syntax for fig_content
2022-11-08 10:03:15 +01:00
Achim D. Brucker
b4f4048cff
Made clear that more than two AFP entries are required.
2022-11-07 17:05:04 +00:00
Achim D. Brucker
eac94f2a01
Merge branch 'Isabelle_dev'
2022-11-02 07:28:23 +00:00
Achim D. Brucker
ab1877ce8e
Linting.
2022-11-01 20:58:34 +00:00
Achim D. Brucker
fc575a5be5
Fixed mardown.
2022-10-31 21:33:26 +00:00
Achim D. Brucker
4e47c38860
Declared installation script as deprecated.
2022-10-31 19:20:34 +00:00
Achim D. Brucker
943af164f4
Fixed typo.
2022-10-30 21:15:45 +00:00
Achim D. Brucker
873151b4f3
Update to Isabelle 2022.
2022-10-30 17:56:15 +00:00
Achim D. Brucker
82645c2e8e
Update to Isabelle 2022.
2022-10-30 17:30:21 +00:00
Achim D. Brucker
f09a2df943
Merge branch 'makarius-isabelle_dev' into Isabelle_dev
2022-10-30 11:53:13 +00:00
Achim D. Brucker
cfdbd18bfa
Resolved merge conflict.
2022-10-30 11:52:41 +00:00
Achim D. Brucker
0b807ea4bc
Merge branch 'main' into Isabelle_dev
2022-10-30 11:22:13 +00:00
Makarius Wenzel
516f5d2f79
Merely use session structure instead of component settings.
2022-10-24 22:11:30 +02:00
Makarius Wenzel
5ac41a72ac
More accurate treatment of sty files: do not just copy from all examples.
2022-10-24 21:58:10 +02:00
Makarius Wenzel
15feeb7d92
More standard package name: appears to work properly in Isabelle2022.
2022-10-24 21:38:01 +02:00
Makarius Wenzel
0c8a0e1d63
Adapted to Isabelle/1ac2416e8432 -- approx. Isabelle2022 release.
2022-10-24 21:30:49 +02:00
Burkhart Wolff
0aec98b95a
cell row column parser setup
2022-10-11 21:43:13 +02:00
Burkhart Wolff
43871ced48
text-term* and text-value* antiquotation syntax, and more on tables.
2022-10-11 21:00:33 +02:00
Burkhart Wolff
0fa1048d6d
description of the tab model.
2022-10-10 13:51:54 +02:00