Makarius Wenzel makarius
0 Followers · 0 Following
  • Joined on 2022-11-13
Repositories Projects Packages Public Activity Starred Repositories
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-05 14:21:45 +00:00
ec0d525426 Tuned messages, following Isabelle/d6a2a8bc40e1
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-05 11:38:56 +00:00
791990039b Tuned messages and options, following Isabelle/c7f3e94fce7b
78d61390fe Prefer Isar command, instead of its underlying ML implementation
Compare 2 commits »
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-04 18:26:40 +00:00
ffcf1f3240 Add missing file (amending 5471d873a9)
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-04 18:13:58 +00:00
5471d873a9 Isabelle/Scala module within session context supports document_build = "dof" without component setup
df37250a00 Simplified args, following README.md
185daeb577 Tuned
8037fd15f2 Tuned messages, following isabelle.Export.message
afcd78610b More concise export artifact
Compare 7 commits »
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-03 23:45:21 +00:00
d20e9ccd22 Proper session qualifier for theory imports (amending 44cae2e631)
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-03 23:18:38 +00:00
f2ee5d3780 Tuned
44cae2e631 More formal management of ontologies in Isabelle/ML/Isar with output via Isabelle/Scala exports
7b2bf35353 More strict treatment of document export artifacts
e8c7fa6018 Clarified signature
Compare 4 commits »
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-03 12:56:03 +00:00
b12e61511d Discourage etc/options
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-03 11:42:54 +00:00
3cac42e6cb Clarified order
aee8ba1df1 Prefer DOF parameters over Isabelle options
d93e1383d4 Afford full-scale command-line tool
Compare 3 commits »
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-02 21:54:20 +00:00
3d5d1e7476 Further attempts at woodpecker environment
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-02 20:41:06 +00:00
4264e7cd15 Build Scala/Java components to get proper ISABELLE_CLASSPATH
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-02 20:32:08 +00:00
96f4077c53 Tuned message
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-02 20:15:32 +00:00
d7fb39d7eb Adhoc command-line tool replaces old options
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-02 19:30:00 +00:00
b95826962f Tuned documentation
912d4bb49e Maintain document template in Isabelle/ML via Isar commands:
a6c1a2baa4 Removed obsolete "extend" operation
bb5963c6e2 Proper usage of dof_mkroot, although its Bash pretty-printing in LaTeX is a bit odd
cc3e2a51a4 More antiquotations
Compare 7 commits »
makarius pushed to main at Isabelle_DOF/Isabelle_DOF 2022-12-01 21:57:51 +00:00
3be2225dcf Tuned comments
f44f0af01c Use regular Toplevel.presentation from Isabelle2022, without alternative presentation hook
9a11baf840 Latex.output_name name is back in Isabelle2022
48c167aa23 Proper DOF.artifact_url
700a9bbfee clarified DOF.options: hard-wired document_comment_latex always uses LaTeX version of comment.sty
Compare 18 commits »