Mercurial Mercurial > repos > isabelle / file revision
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/Tools/Find_Facts/find_facts_tools.scala
author wenzelm
Sat, 11 Jan 2025 21:51:06 +0100
changeset 81765 eb40020efda7
parent 81764 fcba3250fb2a
permissions -rw-r--r--
activate admin tools; clarified elm settings;

package isabelle

class Find_Facts_Tools extends Isabelle_Scala_Tools(
  Find_Facts.isabelle_tool,
  Find_Facts.isabelle_tool1,
  Find_Facts.isabelle_tool2)
isabelle