lib/scripts/feeder.pl
changeset 9789 7e5e6c47c0b5
parent 6281 25d41c118304
child 9961 5a9626118941
equal deleted inserted replaced
9788:df671fa2562a 9789:7e5e6c47c0b5
     1 #
     1 #
     2 # $Id$
     2 # $Id$
       
     3 # Author: Markus Wenzel, TU Muenchen
       
     4 # License: GPL (GNU GENERAL PUBLIC LICENSE)
     3 #
     5 #
     4 # feeder.pl - feed isabelle session
     6 # feeder.pl - feed isabelle session
     5 #
     7 #
     6 
     8 
     7 # args
     9 # args