Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
Isabelle_DOF/Isabelle_DOF/ROOT

61 lines
1.7 KiB
Plaintext
Raw Normal View History

Moved src formats into subfolder and removed them from ROOT file.
2023-05-17 07:16:41 +00:00
chapter AFP
Marked session as AFP candidate.
2023-02-19 20:57:06 +00:00
session "Isabelle_DOF" (AFP) = "Functional-Automata" +
Cleanup.
2024-04-26 04:54:55 +00:00
options [document_build = dof, timeout = 300]
Added Regular-Sets as session.
2019-01-06 17:39:29 +00:00
sessions
"Regular-Sets"
Port to Isabelle 2020 (tested with Isabelle 2020 RC4).
2020-04-08 12:12:17 +00:00
directories
Integrated manual into Isabelle/DOF session.
2023-02-19 15:49:07 +00:00
"thys"
"thys/manual"
Port to Isabelle 2020 (tested with Isabelle 2020 RC4).
2020-04-08 12:12:17 +00:00
"ontologies"
"ontologies/scholarly_paper"
"ontologies/technical_report"
Integrated manual into Isabelle/DOF session.
2023-02-19 15:49:07 +00:00
theories [document = false]
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 20:12:40 +00:00
"ontologies/ontologies"
Integrated manual into Isabelle/DOF session.
2023-02-19 15:49:07 +00:00
"ontologies/technical_report/technical_report"
"ontologies/scholarly_paper/scholarly_paper"
"thys/RegExpInterface"
"thys/Isa_DOF"
"thys/Isa_COL"
theories [document = true]
Update Manual and code - Update term context section - Add option to define a default class for declare_reference* - Use defined symbol identifiers \<quote> and \<doublequote> to simplify caveat section about lexical conventions - Rename Manual theories to avoid issues when using Syntax.parse_term that is not compatible with with long-names staring with a number or an underscore - Rewrite names used as mixfix annotation for the term-antiquotations to rule out mixform form excluded symbols
2023-03-24 16:00:55 +00:00
"thys/manual/M_00_Frontmatter"
"thys/manual/M_01_Introduction"
"thys/manual/M_02_Background"
"thys/manual/M_03_GuidedTour"
Update to isabelle 2023 and add morphism examples
2024-04-03 22:10:51 +00:00
"thys/manual/M_04_Document_Ontology"
"thys/manual/M_05_Proofs_Ontologies"
"thys/manual/M_06_RefMan"
"thys/manual/M_07_Implementation"
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 05:21:00 +00:00
"thys/manual/Isabelle_DOF_Manual"
Integrated manual into Isabelle/DOF session.
2023-02-19 15:49:07 +00:00
document_files
"root.bib"
"dof_session.tex"
"root.mst"
Added 'fake' root.tex to satisfy AFP submission checks.
2024-04-26 05:09:16 +00:00
"root.tex"
Integrated manual into Isabelle/DOF session.
2023-02-19 15:49:07 +00:00
"preamble.tex"
"lstisadof-manual.sty"
"figures/cicm2018-combined.png"
"figures/document-hierarchy.pdf"
"figures/Dogfood-figures.png"
"figures/Dogfood-II-bgnd1.png"
"figures/Dogfood-III-bgnd-text_section.png"
"figures/Dogfood-IV-jumpInDocCLass.png"
"figures/Dogfood-V-attribute.png"
"figures/Dogfood-VI-linkappl.png"
"figures/isabelle-architecture.pdf"
"figures/Isabelle_DOF-logo.pdf"
"figures/header_CSP_pdf.png"
"figures/header_CSP_source.png"
"figures/definition-use-CSP-pdf.png"
"figures/definition-use-CSP.png"
"figures/MyCommentedIsabelle.png"
Nicos improvements.
2023-04-24 10:05:04 +00:00
"figures/doc-mod-generic.pdf"
"figures/doc-mod-isar.pdf"
"figures/doc-mod-onto-docinst.pdf"
"figures/doc-mod-DOF.pdf"
"figures/doc-mod-term-aq.pdf"
section on previewer
2024-04-11 19:08:36 +00:00
"figures/ThisPaperWithPreviewer.png"
Add missing file (amending 5471d873a932)
2022-12-04 18:26:28 +00:00
export_classpath
Added session Isabelle_DOF.
2018-04-07 21:08:29 +00:00