isabelle: src/Tools/Find_Facts/src/find_facts_tools.scala@66d487aa1b99 (annotated)

81775 1a02f32f7d20 tuned headers; wenzelm parents: 81772 diff changeset	1	/* Title: Tools/Find_Facts/src/find_facts_tools.scala
1a02f32f7d20 tuned headers; wenzelm parents: 81772 diff changeset	2	Author: Fabian Huch, TU Muenchen
1a02f32f7d20 tuned headers; wenzelm parents: 81772 diff changeset	3
1a02f32f7d20 tuned headers; wenzelm parents: 81772 diff changeset	4	JVM entry points for command-line tools in $FIND_FACTS_HOME/Tools/.
1a02f32f7d20 tuned headers; wenzelm parents: 81772 diff changeset	5	*/
1a02f32f7d20 tuned headers; wenzelm parents: 81772 diff changeset	6
81772 c405ad565d70 tool wrappers with specific java options, notably classpath "$SOLR_JARS"; wenzelm parents: diff changeset	7	package isabelle.find_facts
c405ad565d70 tool wrappers with specific java options, notably classpath "$SOLR_JARS"; wenzelm parents: diff changeset	8
c405ad565d70 tool wrappers with specific java options, notably classpath "$SOLR_JARS"; wenzelm parents: diff changeset	9	object Find_Facts_Index_Tool { def main(args: Array[String]): Unit = Find_Facts.main_tool1(args) }
81782 66d487aa1b99 clarified names; wenzelm parents: 81775 diff changeset	10	object Find_Facts_Server_Tool { def main(args: Array[String]): Unit = Find_Facts.main_tool3(args) }