1247 Commits (master)
 

Author SHA1 Message Date
Achim D. Brucker 84588fccb3 Merge pull request 'Fix the record generation in class implementation' (#5) from nicolas.meric/Isabelle_DOF:fix-record-generation into master 17 minutes ago
Nicolas Méric d2a6106be5 Fix the record generation in class implementation 3 weeks ago
Achim D. Brucker 1d497db5cf Merge pull request 'referential-equivalence-first-draft' (#4) from nicolas.meric/Isabelle_DOF:referential-equivalence-first-draft into master 2 weeks ago
Achim D. Brucker 42783d6bbe Merge pull request 'First draft of the value* command implementation' (#3) from nicolas.meric/Isabelle_DOF:value-star-first-draft into master 2 weeks ago
Nicolas Méric 08c101c544 Implement built-ins referential equivalence 1 month ago
Nicolas Méric 6ac1445147 Change the implementation of the tag attribute 1 month ago
Nicolas Méric 664aede4c0 First draft of the value* command implementation 2 months ago
Burkhart Wolff c14cb31639 ... 2 months ago
Burkhart Wolff 9b08e92588 Experiments with the code generator for Isa_DOF class objects. 2 months ago
Burkhart Wolff 5f47588270 added some value-statements for demonstration purposes 2 months ago
Burkhart Wolff eb292a695b added poor man's encoding of inheritance in Cyto-Model. 2 months ago
Burkhart Wolff 4420084d52 restructuring command-syntax doc_class 2 months ago
Burkhart Wolff 3f8880c0f0 added small fun ontology for examples : Cytology 2 months ago
Achim D. Brucker eef8170e40 Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF 4 months ago
Achim D. Brucker 3ac69001ab Use POSIX-compliant method to find isabelle command. 4 months ago
Burkhart Wolff f9027ef331 a section explaining the consequences of a doc-class and its shallow semantics in Isabelle records on different levels of representation 5 months ago
Achim D. Brucker 6c433ed766 Merge pull request 'class-term-antiquotation-implementation' (#2) from nicolas.meric/Isabelle_DOF:class-term-antiquotation-implementation into master 5 months ago
Achim D. Brucker cfbc3311cd Merge branch 'master' into class-term-antiquotation-implementation 5 months ago
Achim D. Brucker 295233cdcf Merge pull request 'all changes' (#1) from nicolas.meric/Isabelle_DOF:eclectic-tutorial-add-todos-fix-typos into master 5 months ago
Achim D. Brucker 9569113f9b Merge branch 'master' into eclectic-tutorial-add-todos-fix-typos 5 months ago
Burkhart Wolff 9f9bc25618 no message 5 months ago
Burkhart Wolff 5aad659a85 some observations on invariant code generation 5 months ago
Nicolas Méric 2c01a7118b Add term* cmd and term antiquotations for classes 7 months ago
Nicolas Méric f11e5b762b all changes 9 months ago
Burkhart Wolff f8801a1121 basically table_inline. 7 months ago
Burkhart Wolff d7b625ae04 little debug. 8 months ago
Burkhart Wolff 3b21df199b addded docitem ML antiquotation. (Kleine Fingeruebung). 8 months ago
Achim D. Brucker 0b6ef076b0 Initial support for svjour3-class from Springer. 8 months ago
Achim D. Brucker 51375ea983 Updated TeX Live dependency to version 2021. 8 months ago
Achim D. Brucker 78987a5ae0 Fixed MarkDown. 9 months ago
Achim D. Brucker 920779b150 Raised requirement of Tex Live to TeX Live 2021 (expected release date: 4th of April 2021). 9 months ago
Achim D. Brucker e20e73be90 Added ERT 2018 publication and added note about required version of tcolorbox.sty. 9 months ago
Achim D. Brucker b96397800d Updated Isabelle base image. 9 months ago
Achim D. Brucker 8d8d418f0e Update after Isabelle/DOF 1.1.0/Isabelle2021 release. 9 months ago
Achim D. Brucker 712cea7ac9 Merge branch 'v1.1.x/Isabelle2020' 9 months ago
Achim D. Brucker 0300a64119 Added v.1.1.0. 9 months ago
Achim D. Brucker 6d166ecee4 Added links for 1.1.0/Isabelle2020 release. 9 months ago
Achim D. Brucker a0654d8db9 Added Nicolas Méric as contributor. 9 months ago
Achim D. Brucker e048bbe508 Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF 9 months ago
Achim D. Brucker 201d12a01a Fixed spelling. 9 months ago
Achim D. Brucker aadbce7844 Removed direct link to TeX Live installation instructions that are somewhat misleading for OS X users. The main TeX Live instructions are, actually, more helpful. 9 months ago
Burkhart Wolff cfad21e296 Ref auf Makarius Text added 9 months ago
Burkhart Wolff ad18d3c179 ... 9 months ago
Achim D. Brucker 46875b0560 Fixed version number. 9 months ago
Achim D. Brucker 389fd6d033 Switch from pdf(la)tex to lua(la)tex. 9 months ago
Achim D. Brucker f975672901 Removed check for \expanded{}: Isabelle 2021 defaults to luatex as TeX-engine, which has \expanded{} since a very long time. 9 months ago
Achim D. Brucker 4a1f15be02 Removed check for \expanded{}: Isabelle 2021 defaults to luatex as TeX-engine, which has \expanded{} since a very long time. 9 months ago
Achim D. Brucker 06dddeacf5 Porting to Isabelle 2021. 9 months ago
Achim D. Brucker e495a7b2fe Revising Chapter 5. 10 months ago
Achim D. Brucker 018bfa4bcd Added default escapechar for ltx environment. 10 months ago