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: foot_bw.xpm   Sprache: Unknown

Spracherkennung für: .~dsk vermutete Sprache: Isabelle {Isabelle[211] Hlasm[505] Fortran[906]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

[Closed Files]
File_0=TSourceModule,'C:\Firma\Software\Autor\Autor 0.9\UtilitiesOwn.pas',0,1,296,4,370,0,0,,
File_1=TSourceModule,'C:\Firma\Software\Agenda\Agenda 2.2\Sources\OwnUtils.pas',0,1,1,1,1,0,0,,
File_2=TSourceModule,'C:\Firma\Software\Autor\Autor 0.9\Lizenz.pas',0,1,99,19,119,0,0,,
File_3=TSourceModule,'C:\Firma\Software\Autor\Autor 0.9\UniRtf2HtmlUnit1.pas',0,1,113,11,142,0,0,,
File_4=TSourceModule,'C:\Firma\Software\Autor\Autor 0.9\rtf2html.pas',0,1,1,1,1,0,0,,
File_5=TSourceModule,'C:\Firma\Software\Autor\Autor 0.9\main.pas',0,1,236,21,257,0,0,,
File_6=TSourceModule,'C:\Firma\Software\Autor\Autor 0.9\OwnUtils.pas',0,1,301,1,312,0,0,,
File_7=TSourceModule,'C:\Firma\Software\externer Code\GIFImage\GIFImage.pas',0,1,1396,12,4735,0,0,,
File_8=TSourceModule,'C:\Firma\Software\Autor\Autor 0.9\OptionClass.pas',0,1,85,11,106,0,0,,
File_9=TSourceModule,'C:\Firma\Software\Autor\Autor 0.9\DBAccess.pas',0,1,204,16,236,0,0,,
File_10=TSourceModule,'C:\Firma\Software\Autor\Autor 0.9\language.pas',0,1,1,1,1,0,0,,
File_11=TSourceModule,'C:\Firma\Software\Delphi Utilities\GenConsts.inc',0,1,1,1,1,0,0,,
File_12=TSourceModule,'C:\Firma\Software\Delphi Utilities\Utilities.pas',0,1,1861,38,1880,0,0,,
File_13=TSourceModule,'C:\Firma\Software\Delphi Utilities\GenTypes.inc',0,1,1,1,4,0,0,,
File_14=TSourceModule,'C:\Firma\Software\Delphi Utilities\Indy.inc',0,1,1,1,1,0,0,,

[Modules]
Module0=C:\Firma\Software\Autor\Autor 0.7\main.pas
Module1=default.htm
Count=2
EditWindowCount=1

[C:\Firma\Software\Autor\Autor 0.7\main.pas]
ModuleType=TSourceModule
FormState=0
FormOnTop=0

[default.htm]
ModuleType=TURLModule

[EditWindow0]
ViewCount=2
CurrentEditView=C:\Firma\Software\Autor\Autor 0.7\main.pas
View0=0
View1=1
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=10000
Height=9232
MaxLeft=-1
MaxTop=-1
ClientWidth=10000
ClientHeight=9232
DockedToMainForm=1
BorlandEditorCodeExplorer=BorlandEditorCodeExplorer@EditWindow0
TopPanelSize=0
LeftPanelSize=1899
LeftPanelClients=PropertyInspector,DockSite3
LeftPanelData=000008000101000000007612000000000000016B070000000000000100000000B30F000009000000446F636B536974653301000000008A1D00001100000050726F7065727479496E73706563746F72FFFFFFFF
RightPanelSize=2000
RightPanelClients=DockSite2,DockSite4
RightPanelData=00000800010100000000761200000000000001D00700000000000001000000002014000009000000446F636B536974653201000000008A1D000009000000446F636B5369746534FFFFFFFF
BottomPanelSize=1343
BottomPanelClients=DockSite1,MessageView
BottomPanelData=0000080001020100000009000000446F636B5369746531803E000000000000023F050000000000000100000000803E00000F0000004D65737361676556696577466F726DFFFFFFFF
BottomMiddlePanelSize=0
BottomMiddlePanelClients=DockSite0
BottomMiddelPanelData=0000080001000100000009000000446F636B53697465303019000000000000007E1B000000000000FFFFFFFF

[View0]
CustomEditViewType=TWelcomePageView
WelcomePageURL=bds:/default.htm

[View1]
CustomEditViewType=TEditView
Module=C:\Firma\Software\Autor\Autor 0.7\main.pas
CursorX=1
CursorY=1
TopLine=1
LeftCol=1
Elisions=
Bookmarks=
EditViewName=C:\Firma\Software\Autor\Autor 0.7\main.pas

[Watches]
Count=0

[WatchWindow]
WatchColumnWidth=120
WatchShowColumnHeaders=1
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3821
Height=1102
MaxLeft=-1
MaxTop=-1
ClientWidth=3821
ClientHeight=1102
TBDockHeight=207
LRDockWidth=13601
Dockable=1
StayOnTop=0

[Breakpoints]
Count=0

[EmbarcaderoWin32Debugger_AddressBreakpoints]
Count=0

[Main Window]
PercentageSizes=1
Create=1
Visible=1
Docked=0
State=2
Left=149
Top=276
Width=8935
Height=8514
MaxLeft=-6
MaxTop=-10
MaxWidth=10048
MaxHeight=10079
ClientWidth=10000
ClientHeight=9744
BottomPanelSize=8933
BottomPanelClients=EditWindow0
BottomPanelData=0000080000000000000000000000000000000000000000000000000100000000000000000C0000004564697457696E646F775F30FFFFFFFF

[ProjectManager]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=2000
Height=4813
MaxLeft=-1
MaxTop=-1
ClientWidth=2000
ClientHeight=4813
TBDockHeight=5896
LRDockWidth=2351
Dockable=1
StayOnTop=0

[MessageView]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=23
Width=10000
Height=1161
MaxLeft=-1
MaxTop=-1
ClientWidth=10000
ClientHeight=1161
TBDockHeight=1161
LRDockWidth=2774
Dockable=1
StayOnTop=0

[ToolForm]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=2000
Height=2264
MaxLeft=-1
MaxTop=-1
ClientWidth=2000
ClientHeight=2264
TBDockHeight=7156
LRDockWidth=2000
Dockable=1
StayOnTop=0

[TemplateView]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-1512
Top=-101
Width=274
Height=364
MaxLeft=-1
MaxTop=-1
ClientWidth=274
ClientHeight=364
TBDockHeight=364
LRDockWidth=274
Dockable=1
StayOnTop=0
Name=120
Description=334
filter=1

[DebugLogView]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3821
Height=1102
MaxLeft=-1
MaxTop=-1
ClientWidth=3821
ClientHeight=1102
TBDockHeight=413
LRDockWidth=4946
Dockable=1
StayOnTop=0

[ThreadStatusWindow]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3821
Height=1102
MaxLeft=-1
MaxTop=-1
ClientWidth=3821
ClientHeight=1102
TBDockHeight=207
LRDockWidth=7405
Dockable=1
StayOnTop=0
Column0Width=145
Column1Width=100
Column2Width=115
Column3Width=250

[LocalVarsWindow]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3821
Height=1102
MaxLeft=-1
MaxTop=-1
ClientWidth=3821
ClientHeight=1102
TBDockHeight=1535
LRDockWidth=3476
Dockable=1
StayOnTop=0

[CallStackWindow]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3821
Height=1102
MaxLeft=-1
MaxTop=-1
ClientWidth=3821
ClientHeight=1102
TBDockHeight=2057
LRDockWidth=3476
Dockable=1
StayOnTop=0

[TFileExplorerForm]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-1344
Top=-101
Width=2845
Height=6201
MaxLeft=-1
MaxTop=-1
ClientWidth=2845
ClientHeight=6201
TBDockHeight=6201
LRDockWidth=2845
Dockable=1
StayOnTop=0

[FindReferencsForm]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=2339
Height=1240
MaxLeft=-1
MaxTop=-1
ClientWidth=2339
ClientHeight=1240
TBDockHeight=2313
LRDockWidth=2821
Dockable=1
StayOnTop=0

[RefactoringForm]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=2339
Height=1240
MaxLeft=-1
MaxTop=-1
ClientWidth=2339
ClientHeight=1240
TBDockHeight=3199
LRDockWidth=2821
Dockable=1
StayOnTop=0

[ToDo List]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=2339
Height=1240
MaxLeft=-1
MaxTop=-1
ClientWidth=2339
ClientHeight=1240
TBDockHeight=1161
LRDockWidth=3679
Dockable=1
StayOnTop=0
Column0Width=314
Column1Width=30
Column2Width=150
Column3Width=172
Column4Width=129
SortOrder=4
ShowHints=1
ShowChecked=1

[PropertyInspector]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=445
Width=1899
Height=3435
MaxLeft=-1
MaxTop=-1
ClientWidth=1899
ClientHeight=3435
TBDockHeight=9006
LRDockWidth=1899
Dockable=1
StayOnTop=0
SplitPos=111

[ModelViewTool]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=2000
Height=8760
MaxLeft=-1
MaxTop=-1
ClientWidth=2000
ClientHeight=8760
TBDockHeight=4872
LRDockWidth=5310
Dockable=1
StayOnTop=0

[ClassBrowserTool]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-159
Top=-101
Width=1845
Height=3150
MaxLeft=-1
MaxTop=-1
ClientWidth=1845
ClientHeight=3150
TBDockHeight=3150
LRDockWidth=1845
Dockable=1
StayOnTop=0

[BreakpointWindow]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3821
Height=1102
MaxLeft=-1
MaxTop=-1
ClientWidth=3821
ClientHeight=1102
TBDockHeight=1545
LRDockWidth=8744
Dockable=1
StayOnTop=0
Column0Width=200
Column1Width=75
Column2Width=200
Column3Width=200
Column4Width=200
Column5Width=75
Column6Width=75

[StructureView]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=1899
Height=3888
MaxLeft=-1
MaxTop=-1
ClientWidth=1899
ClientHeight=3888
TBDockHeight=3671
LRDockWidth=1899
Dockable=1
StayOnTop=0

[BorlandEditorCodeExplorer@EditWindow0]
PercentageSizes=1
Create=1
Visible=0
Docked=0
State=0
Left=0
Top=0
Width=1821
Height=6171
MaxLeft=-6
MaxTop=-10
ClientWidth=1774
ClientHeight=5915
TBDockHeight=6171
LRDockWidth=1821
Dockable=1
StayOnTop=0

[DockHosts]
DockHostCount=5

[DockSite0]
HostDockSite=DockBottomCenterPanel
DockSiteType=1
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=0
Top=0
Width=2339
Height=1486
MaxLeft=-1
MaxTop=-1
ClientWidth=2339
ClientHeight=1486
TBDockHeight=1486
LRDockWidth=2339
Dockable=1
StayOnTop=0
TabPosition=1
ActiveTabID=RefactoringForm
TabDockClients=RefactoringForm,FindReferencsForm,ToDo List

[DockSite1]
HostDockSite=DockBottomPanel
DockSiteType=1
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=0
Top=0
Width=3821
Height=1348
MaxLeft=-1
MaxTop=-1
ClientWidth=3821
ClientHeight=1348
TBDockHeight=1348
LRDockWidth=3821
Dockable=1
StayOnTop=0
TabPosition=1
ActiveTabID=DebugLogView
TabDockClients=DebugLogView,BreakpointWindow,ThreadStatusWindow,CallStackWindow,WatchWindow,LocalVarsWindow

[DockSite2]
HostDockSite=DockRightPanel
DockSiteType=1
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=23
Width=2000
Height=5059
MaxLeft=-1
MaxTop=-1
ClientWidth=2000
ClientHeight=5059
TBDockHeight=9006
LRDockWidth=2000
Dockable=1
StayOnTop=0
TabPosition=1
ActiveTabID=ProjectManager
TabDockClients=ProjectManager,ModelViewTool,TFileExplorerForm

[DockSite3]
HostDockSite=DockLeftPanel
DockSiteType=1
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=23
Width=1899
Height=3888
MaxLeft=-1
MaxTop=-1
ClientWidth=1899
ClientHeight=3888
TBDockHeight=9006
LRDockWidth=1899
Dockable=1
StayOnTop=0
TabPosition=1
ActiveTabID=StructureView
TabDockClients=StructureView,ClassBrowserTool

[DockSite4]
HostDockSite=DockRightPanel
DockSiteType=1
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=564
Width=2000
Height=2264
MaxLeft=-1
MaxTop=-1
ClientWidth=2000
ClientHeight=2264
TBDockHeight=9006
LRDockWidth=2000
Dockable=1
StayOnTop=0
TabPosition=1
ActiveTabID=ToolForm
TabDockClients=ToolForm,TemplateView

[ Dauer der Verarbeitung: 0.94 Sekunden  ]