products/Sources/formale Sprachen/Coq/plugins/micromega/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Elbe.dpr   Sprache: Unknown

program Elbe;

uses
  Forms,
  SysUtils,
  Windows,
  AboutBox in 'AboutBox.pas',
  language in 'language.pas',
  ColorDialog in 'ColorDialog.pas' {ColorForm},
  Graphs in 'Graphs.pas',
  MemTree in 'MemTree.pas',
  Lizenz in 'Lizenz.pas' {Aktivform},
  MDIClass in 'MDIClass.pas',
  OwnUtils in 'OwnUtils.pas',
  Natural in 'Natural.pas',
  OptionClass in 'OptionClass.pas' {OptionDialog},
  Sample in 'Sample.pas' {Samples},
  PreProcessing in 'PreProcessing.pas',
  PrintDialogEx in 'PrintDialogEx.pas',
  ThreadExecute in 'ThreadExecute.pas',
  StatusThread in 'StatusThread.pas',
  GenDefs in '..\..\Delphi Utilities\GenDefs.pas',
  Utilities in '..\..\Delphi Utilities\Utilities.pas',
  OptionClassGen in '..\..\Delphi Utilities\OptionClassGen.pas' {OptionDialogGen},
  Frame11 in 'Frame11.pas' {Frame1: TFrame},
  SearchReplace in 'SearchReplace.pas',
  Fullscreen in 'Fullscreen.pas' {FullScreen1},
  Frame33 in 'Frame33.pas' {Frame3: TFrame},
  Frame22 in 'Frame22.pas' {Frame2: TFrame},
  UnitRedirect in 'UnitRedirect.pas',
  Splash in 'Splash.pas' {SplashForm},
  Modeler in 'Modeler.pas';

{$R *.res}
//----------------------------------------------------------------------------
//Main
//----------------------------------------------------------------------------
begin
  Application.Initialize;
  preprocess(Title_Elbe);
  Application.MainFormOnTaskbar:=true;
  //Application.CreateForm(TModelFrame, ModelFrame);
    Application.CreateForm(TModelFrame, ModelFrame);
  Application.Run;
  PostProcess();
  //grrr das muß hier sein,
  // wegen system32//ntdll.dll
  ExitProcess(0);
end.
//----------------------------------------------------------------------------
//Ende dieser Quelle
//----------------------------------------------------------------------------

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]