Commit Graph

Select branches

Hide Pull Requests

2021-ITP-PMTI

2022-phd-poster-test

2022-thesis-mid-term-document

ICFEM-2022

avoid-reporting-duplication

clean-up-isa-check-functions

command-syntax-antiquotation

definition-star-command

docitem-name-antiquotations

enable-invariants-checking-everywhere

fix-record-generation

fix-scholarly-paper-latex-output

fun-with-term-antiquotations

implement-rejects-clause

instance-name-space

instance-value-normalization

invariants-name-space

main

markup-commands-in-locale

metalogic-mapping

metalogic-mapping-2

monitor-name-space

onto-class-name-space

parallelization

parametric-invariant

pass-on-manual

scoped-docitems

string-attributes-as-input-source

test-normalization

tikzposter

update-cenelec

use-caml-case-convention-for-theories-naming

2021-ITP-PMTI-rejected

Unreleased/Isabelle2017

Unreleased/Isabelle2018

v1.0.0/Isabelle2019

v1.1.0/Isabelle2020

v1.1.0/Isabelle2021

v1.2.0/Isabelle2021

v1.3.0/Isabelle2021-1

Mono Color

• 8f35faf389 yet another idea … Burkhart Wolff 2018-03-02 07:29:53 +0100
• c487a16e38 Added examples for samples — preparing discussion with Achim. Burkhart Wolff 2018-03-02 07:26:30 +0100
• 0baa75d29d Discovery : the bug was actually not a bug, rather a feature. Burkhart Wolff 2018-03-01 17:32:15 +0100
• dda06c36df A first implementation of the LaTeX Converter in Scala. Type-checked till “Testing Zone” Contains essentially the LaTeX Lexer, but still contains an error wrt. the ambiguity: - \begin … { - \<arbitrary command> Burkhart Wolff 2018-03-01 17:14:03 +0100
• a30e2061cd A decisive intermediate step: got sub-classing running, and pervasive point-and-click on doc-class references. Burkhart Wolff 2018-02-28 14:06:52 +0100
• 9686a7597a Lots of debugging Sub-Classing Works Burkhart Wolff 2018-02-28 11:31:42 +0100
• 6c59d9ba15 Refined the management of document classes and doc item refs. Refs were internally stored as global names. Cross-Referencing over file-boundaries seems to work. Burkhart Wolff 2018-02-27 12:02:19 +0100
• a64ed349d9 Added more checks. doc_class references now consequently based on short_names (for now). Burkhart Wolff 2018-02-09 12:25:15 +0100
• 1d8872272b Management of doc_classes added, elementary checking of doc-class referencing. Burkhart Wolff 2018-02-08 16:25:15 +0100
• e29ee3789d Kind of current status. Crudely carved out of an other repository - not sure that this works. Burkhart Wolff 2018-02-07 19:44:27 +0100
• 5bb766e131 initial commit HOL-OCL 2018-02-07 18:43:15 +0100