src/Tools/jEdit/src/find_dockable.scala
2013-08-02 wenzelm 2013-08-02 minimal print function "find_theorems", which merely echos its arguments;
2013-08-02 wenzelm 2013-08-02 some tracking of command location; tuned;
2013-08-02 wenzelm 2013-08-02 dockable window for "find" dialog (GUI only);