equal
deleted
inserted
replaced
1 (* Title: Doc/antiquote_setup.ML |
1 (* Title: Doc/antiquote_setup.ML |
2 ID: $Id$ |
|
3 Author: Makarius |
2 Author: Makarius |
4 |
3 |
5 Auxiliary antiquotations for the Isabelle manuals. |
4 Auxiliary antiquotations for the Isabelle manuals. |
6 *) |
5 *) |
7 |
6 |
191 entity_antiqs no_check "" "fact" @ |
190 entity_antiqs no_check "" "fact" @ |
192 entity_antiqs no_check "" "variable" @ |
191 entity_antiqs no_check "" "variable" @ |
193 entity_antiqs no_check "" "case" @ |
192 entity_antiqs no_check "" "case" @ |
194 entity_antiqs (K ThyOutput.defined_command) "" "antiquotation" @ |
193 entity_antiqs (K ThyOutput.defined_command) "" "antiquotation" @ |
195 entity_antiqs (fn _ => fn name => is_some (OS.Process.getEnv name)) "isatt" "setting" @ |
194 entity_antiqs (fn _ => fn name => is_some (OS.Process.getEnv name)) "isatt" "setting" @ |
|
195 entity_antiqs no_check "" "inference" @ |
196 entity_antiqs no_check "isatt" "executable" @ |
196 entity_antiqs no_check "isatt" "executable" @ |
197 entity_antiqs (K check_tool) "isatt" "tool" @ |
197 entity_antiqs (K check_tool) "isatt" "tool" @ |
198 entity_antiqs (K (File.exists o Path.explode)) "isatt" "file" @ |
198 entity_antiqs (K (File.exists o Path.explode)) "isatt" "file" @ |
199 entity_antiqs (K ThyInfo.known_thy) "" "theory"); |
199 entity_antiqs (K ThyInfo.known_thy) "" "theory"); |
200 |
200 |