Console Output

+ bin/isabelle jedit -bf
### Building Isabelle/Scala (/media/data/jenkins/workspace/isabelle-dump/lib/classes/isabelle.jar) ...
### Building graph browser (/media/data/jenkins/workspace/isabelle-dump/lib/classes/isabelle_graphbrowser.jar) ...
Note: Some input files use unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
### Building Isabelle/Scala/Admin (/media/data/jenkins/workspace/isabelle-dump/lib/classes/isabelle_admin.jar) ...
### Building Findfacts Importer (/media/data/jenkins/workspace/findfacts-importer-0.4.4/importer-isabelle/lib/findfacts-importer.jar) ...
### Building Findfacts Build Importer (/media/data/jenkins/workspace/findfacts-importer-0.4.4/importer-isabelle-build/lib/findfacts-build-importer.jar) ...