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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Set_Integral.thy   Sprache: Isabelle

Untersuchungsergebnis.dpk Download desCS {CS[80] Abap[112] [0]}zum Wurzelverzeichnis wechseln

package SourceView;

{$R *.res}
{$ALIGN 8}
{$ASSERTIONS ON}
{$BOOLEVAL OFF}
{$DEBUGINFO ON}
{$EXTENDEDSYNTAX ON}
{$IMPORTEDDATA ON}
{$IOCHECKS ON}
{$LOCALSYMBOLS ON}
{$LONGSTRINGS ON}
{$OPENSTRINGS ON}
{$OPTIMIZATION OFF}
{$OVERFLOWCHECKS OFF}
{$RANGECHECKS OFF}
{$REFERENCEINFO ON}
{$SAFEDIVIDE OFF}
{$STACKFRAMES OFF}
{$TYPEDADDRESS OFF}
{$VARSTRINGCHECKS ON}
{$WRITEABLECONST OFF}
{$MINENUMSIZE 1}
{$IMAGEBASE $400000}
{$IMPLICITBUILD ON}

requires
  rtl,
  vcl,
  vclx,
  vclimg,
  IndyCore,
  IndySystem,
  IndyProtocols;

contains
  Editor in 'Editor.pas',
  GenDefs in '..\..\Delphi Utilities\GenDefs.pas',
  language in 'language.pas',
  CodeCompletion in 'CodeCompletion.pas' {CodeWindow},
  Preview in '..\..\externer Code\Print Preview\Preview.pas',
  Undo in 'Undo.pas';

end.

[ zur Elbe Produktseite wechseln0.72Quellennavigators  ]