doc-src/Dirs
author wenzelm
Mon, 11 Aug 2008 18:37:49 +0200
changeset 27828 edafacb690a3
parent 27446 bac210482607
child 29747 bab2371e0348
permissions -rw-r--r--
renamed Markup.class to Markup.tclass, to avoid potential conflicts with spacial meaning in markup languages (e.g. HTML);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27446
bac210482607 renamed Contents to Dirs to avoid case-conflict with doc/Contents;
wenzelm
parents:
diff changeset
     1
Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions