3sciff_files([	browser,
    4							ccopy,
    5							debug,
    6							defaults,
    7							domains,
    8							graphviz,
    9							help,
   10							history_parser,
   11							ics_parser,
   12							ics_quant,
   13							parser_utils,
   14							pretty_print,
   15							print_clp_constraints,
   16							project,
   17							proof_util,
   18							quantif,
   19							reified_unif,
   20							ruleml_parser,
   21							sciff,
   22							sciff_options,
   23							sokb_parser,
   24							svg]).
   25
   26
   27
   28%:- sciff_files(L), compile(L), save_files(L, 'sciff.po'), halt.
   29%:-compile('sciff_java_gui.pl'), save_program('sciff.po'), halt.
   30
   31
   32compile_all([]).
   33compile_all([H|T]) :- compile(H), save_files(H, H), compile_all(T).
   34
   35:- sciff_files(L), compile_all(L), halt.