Plan fr das CATS-Interface
---------------------------

Das Kommandozeilen-CATS:

Usage: cats [options] file ... file

Options: -input    selects input options, give one or more of casl,
                   aterm,static,nostatic,bin,nobin,empty,basic
                   Default: -input=casl,nostatic,bin,basic
         -output   selects output options, give one or more of tex,
                   notex,env,noenv,graph,nograph,bin,nobin
                   Default: -output=notex,noenv,nograph,bin
         -spec     selects spec options, give one or more of
                   aterm,noaterm,xml,noxml
         -env      selects environment options, give one or more of
                   CasEnv,FCasEnv,HCasEnv,SubPCFOL,SubCFOL,CFOL,SOL,
                   CFOL1,SOL1,text,aterm,latex,xml,noCasEnv,noFCasEnv,
                   noHCasEnv,notext,noaterm,nolatex,noxml
                   Default: -env=CasEnv,SubPCFOL,aterm
         -graph    selects graph options, give one or more of dot,
                   ps,davinci,nodot,nops,nodavinci
                   Default: -graph=davinci
         -parser   selects parser to use, give isabelle or yacc
                   Default: -parser=yacc
         -quiet    selects quiet mode
         -noquiet  deselects quiet mode

         -dumpdtd  dump the XML DTD used by casl on stdout



Das Interface sollte aus folgendem bestehen:

Globale Optionen: Static analysis (yes => -input=static, no => -input=nostatic, default: yes)

File-Selector fr das Input-File 
  (ehrgeiziger: mehrere Files gleichzeitig mglich, ein Fenster pro File)
  Das geladene File wird mit cats (nur -input-Option wie oben) bersetzt

Auerdem bzw. in dem Fenster fr ein File:

Refresh-Button, um das File neu zu laden, falls der Quelltext verndert wurde
  (oder luft das sogar automatisch, sobald man eine Funktion anspricht?)

Optionen: Encoding, kann eines der folgenden sein: SubPCFOL,SubCFOL,CFOL,SOL, CFOL1,SOL1
          Environment, kann  eines der folgenden sein: CasEnv,FCasEnv,HCasEnv
          Graph drawer, kann eines der folgenden sein: dot, davinci
Aktionen: LaTeX (cats file -output=tex; latex file.tex; xdvi file)
          Text (cats file -output=env -env=text,xxx,yyy; direkt anzeigen: file.zzz.txt
                  wobei xxx von der Option Encoding bestimmt wird
                    und yyy von der Option Environment bestimmt wird
                        zzz ist env,fenv oder henv, je nach CasEnv,FCasEnv oder HCasEnv)
          ATerm (wie Text, nur mit -env=aterm,...)
          XML (wie Text, nur mit -env=xml,...  Gibt es einen XML-Browser?)
          Module graph (fr graph drawer=dot: cats file -output=graph -graph=ps; gv file.dot.ps
                        fr graph drawer=davinci: cats file -output=graph -graph=davinci; daVinci file.davinci)
