Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/UTP/document/auto/   (Sammlung formaler Beweise Version 2026-5©)  Datei vom 29.4.2026 mit Größe 824 B image not shown  

Quelle  root.el   Sprache: unbekannt

 
Spracherkennung für: .el vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

(TeX-add-style-hook
 "root"
 (lambda ()
   (TeX-add-to-alist 'LaTeX-provided-class-options
                     '(("article" "11pt" "a4paper")))
   (TeX-add-to-alist 'LaTeX-provided-package-options
                     '(("color" "usenames" "dvipsnames") ("babel" "english")))
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "path")
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "url")
   (add-to-list 'LaTeX-verbatim-macros-with-delims-local "path")
   (add-to-list 'LaTeX-verbatim-macros-with-delims-local "url")
   (TeX-run-style-hooks
    "latex2e"
    "session"
    "article"
    "art11"
    "isabelle"
    "isabellesym"
    "fullpage"
    "color"
    "document"
    "amssymb"
    "babel"
    "stmaryrd"
    "eufrak"
    "pdfsetup"
    "graphicx"
    "url")
   (LaTeX-add-bibliographies))
 :latex)


[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-06-10]