Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/Logics_ZF/document/logics.sty
changeset 73746 b2d47981c8dc
parent 73745 c1e79e266fb3 
--- a/src/Doc/Logics_ZF/document/logics.sty	Wed May 19 15:45:13 2021 +0200
+++ b/src/Doc/Logics_ZF/document/logics.sty	Wed May 19 15:53:55 2021 +0200
@@ -40,8 +40,6 @@
 \newcommand\cmmdx[1]{\index{#1@\protect\isacommand{#1} (command)}}
 \newcommand\commdx[1]{\isacommand{#1}\index{#1@\protect\isacommand{#1} (command)}}
 \newcommand\methdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (method)}}
-\newcommand\tooldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (tool)}}
-\newcommand\settdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (setting)}}
 
 %set argument in \bf font and index in ROMAN font (for definitions in text!)
 \newcommand\bfindex[1]{{\bf#1}\index{#1|bold}\@}
isabelle