602 Commits (master)
 

Author SHA1 Message Date
  Burkhart Wolff cb72f2f16e Diverse patches um den Crash des LaTeX generators zu verstehen. 4 days ago
  Burkhart Wolff b035996d36 petitesse 1 month ago
  Burkhart Wolff 76f86c5c0e Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF 1 month ago
  Burkhart Wolff c752a25dd6 no message 1 month ago
  Frédéric Tuong e1ad1c39c6 upgrade to Isabelle2018 , synchronize with citadelle-devel 5bfebab420 1 month ago
  Burkhart Wolff 436d41d232 Small things at CENELEC arising from FM paper. 1 month ago
  Burkhart Wolff 3e3fc502c3 Ideas with Achim on text_elements + new elements in CENELEC 1 month ago
  Achim D. Brucker 0789a96677 Dangling references and undefined citations are now breaking the document build. 1 month ago
  Achim D. Brucker 40f5fa17d3 Add label for default text elements. 1 month ago
  Achim D. Brucker b0fbc80495 Excluded example of dangling reference from LaTex generation. 1 month ago
  Achim D. Brucker 23e3486f5b Bug fix: labels were missing int generated LaTeX. 1 month ago
  Achim D. Brucker 0b3a361b06 Improved spacing for type-setting keywords.: 1 month ago
  Achim D. Brucker 9d74c29f1d Refactoring: moved LaTeX generation code in own structure. 1 month ago
  Achim D. Brucker 783f580752 Added NOPs for ghost commands in the author section. 1 month ago
  Achim D. Brucker 811dc0ef22 Added basic support for http_site attribute. 1 month ago
  Achim D. Brucker a36c1566d4 Fixed printing of default template. 1 month ago
  Achim D. Brucker da3ffdc729 "Renamed lipics template (currently not supported). 1 month ago
  Achim D. Brucker 00cb307fc5 Changed user interface of the installation script: supports now long and short options and allows one to skipt the lengthy patch and afp installation check. 1 month ago
  Achim D. Brucker 090b5f3e63 Remove outdated aux file prior to starting the LateX build. 1 month ago
  Burkhart Wolff 4a61b55763 merge 1 month ago
  Burkhart Wolff e362286c32 xcgdfg 1 month ago
  Burkhart Wolff 4f349de9b9 some patches in install to make it run on MacOS 1 month ago
  Achim D. Brucker e4c1356a79 Fixed spelling in info/warning/error messages. 1 month ago
  Achim D. Brucker d5e295c7f3 Use cmp instead of md5sum for checking if files are identical. 1 month ago
  Achim D. Brucker 9f3b406750 Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF 1 month ago
  Achim D. Brucker 6995461742 Improved error handling during patch installation. 1 month ago
  Frédéric Tuong 9a1bec2d85 Merge branch 'master' of git.logicalhacking.com:HOL-OCL/Isabelle_DOF 1 month ago
  Frédéric Tuong 0d96aeb494 support inner syntax cartouches to prevent an error for accent letters in attributes (see hol-testgen/add-ons/Featherweight-OCL/src/compiler_generic/Init.thy ) 1 month ago
  Burkhart Wolff 5a0caa4163 Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF 1 month ago
  Burkhart Wolff 83151cf473 Something in Isabelle_DOF 1 month ago
  Achim D. Brucker 9d7ebc4a4f Enabled passing of default arguments to LaTeX backend. 1 month ago
  Achim D. Brucker c3409d1f10 Cleanup: moved outdated code for exporting LaTeX style files into a dedicated functions and disabled file output. 1 month ago
  Achim D. Brucker 0daaf3d699 Bug fix: subsubsection was mapped to subsection. 1 month ago
  Achim D. Brucker 9edb344218 Added generic type hook. 1 month ago
  Achim D. Brucker 57923ad393 Removed all definitions that are semantically equivalent to their default variant. 1 month ago
  Achim D. Brucker e26306debd Refactored LaTeX-Setup and introduced failback to default implementations. 1 month ago
  Achim D. Brucker b5d35dad22 Added definition for SRAC. 1 month ago
  Achim D. Brucker 8935d8f4e9 Improved error handling. 1 month ago
  Achim D. Brucker 060dcbbabc Introduced \isadof* command family. 1 month ago
  Achim D. Brucker 13db9a9e77 Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF 1 month ago
  Achim D. Brucker 13b06fdce7 Added isaDof.subsection.scholarly_paper.conclusion. 1 month ago
  Burkhart Wolff ff3f2c9429 minor changes for CICM paper example. 2 months ago
  Burkhart Wolff 7f8c77b2ef Refactoring OntoLinkParser (for Paper) 2 months ago
  Achim D. Brucker b255de9ea7 Basis handling of lists in ltx_of_term. 2 months ago
  Achim D. Brucker d3ae88ed10 Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF 2 months ago
  Burkhart Wolff ffa44353f9 More on the small_math example used in the paper. 2 months ago
  Achim D. Brucker f8bcd2557c Removed call to obsolete unquote_string. 2 months ago
  Achim D. Brucker a2a1f2dc3f Manual merge. 2 months ago
  Achim D. Brucker a7ebfff71e Initial implementation of ltx_of_markup. 2 months ago
  Burkhart Wolff 94ade38d60 no message 2 months ago