products/sources/formale sprachen/Isabelle/Tools/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: reSplash.~pas   Sprache: Unknown

Spracherkennung für: .~pas vermutete Sprache: PVS {PVS[73] Cobol[83] C[111]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

unit reSplash;

interface

uses
  SysUtils, Windows, Messages, Classes, Graphics, Controls,
  Forms, Dialogs, StdCtrls, ExtCtrls;

type
  TSplashForm = class(TForm)
    Panel1: TPanel;
    Label3: TLabel;
    Bevel1: TBevel;
    Label1: TLabel;
    Image1: TImage;
  end;

var
  SplashForm: TSplashForm;

implementation

{$R *.dfm}

end.

[ Dauer der Verarbeitung: 0.59 Sekunden  ]