1245 Commits (master)
 

Author SHA1 Message Date
Achim D. Brucker 1d497db5cf Merge pull request 'referential-equivalence-first-draft' (#4) from nicolas.meric/Isabelle_DOF:referential-equivalence-first-draft into master 1 week 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 1 week ago
Nicolas Méric 08c101c544 Implement built-ins referential equivalence 4 weeks 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 1 month 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 3 months ago
Achim D. Brucker 3ac69001ab Use POSIX-compliant method to find isabelle command. 3 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. 7 months ago
Burkhart Wolff 3b21df199b addded docitem ML antiquotation. (Kleine Fingeruebung). 7 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. 8 months ago
Achim D. Brucker 920779b150 Raised requirement of Tex Live to TeX Live 2021 (expected release date: 4th of April 2021). 8 months ago
Achim D. Brucker e20e73be90 Added ERT 2018 publication and added note about required version of tcolorbox.sty. 8 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
Achim D. Brucker 15c958ec64 Revised Chapter 4. 10 months ago
Achim D. Brucker 29661f6734 Revised Sec. 4.2. 10 months ago