|Achim D. Brucker c114b9d9ec||2 weeks ago|
|AFP||2 weeks ago|
|example||1 month ago|
|quirks||3 years ago|
|scripts||7 months ago|
|.gitignore||1 year ago|
|AFP-Planning-and-ToDos.md||7 months ago|
|LICENSE||4 years ago|
|README.md||1 year ago|
|benchmark.csv||11 months ago|
|fdom.thy||3 months ago|
|fdom_Scope_Components.thy||3 months ago|
|test_case_analysis.csv||3 years ago|
|test_status.ods||3 years ago|
The project fDOM is a formalization of the DOM (and related standards) in Isabelle/HOL. The project has the following sub-projects:
If you want to load all theories into Isabelle “at once”, you can execute the following command in the top level directory:
isabelle jedit -d . -l HOL-Library Shadow_DOM/*.thy HTML/*.thy
This is, in particular, useful for refactoring tasks. If you only want to work with one specific project, e.g., the Shadow_DOM, you can call Isabelle as follows.
isabelle jedit -d . -l Core_DOM Shadow_DOM/*.thy
Before pushing changes to the main repository, please ensure that the batch build of the project HTML works; including the generation of the LaTeX documentation.
To ensure that all projects build correctly (including the document preparation), it is sufficient to execute the following command:
isabelle build -c -j 4 -d . HTML
Of course, each project can also be build in individually.
This project is licensed under a 2-clause BSD-style license.