| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/groups/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 204 kB |
|
Quellcode-Bibliothek Navigator.htm Sprache: HTML |
|||||||||||
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<HTML> <HEAD> <META HTTP-EQUIV="Content-Type" Content="text/html; charset=Windows-1252"> <TITLE>Navigator</TITLE> </HEAD> <BODY BGCOLOR="#FFFFFF" TEXT="#000000"> <P>In diesem Teilfenster wird zum jeweiligen Gesamtprogramm dessen Struktur als Baum aufberei <P><img src="Navigator-small.jpg" width="113" height="345"></P> <P>Je nach Art der Quelldatei ergeben sich Unterabschnitte zu</P> <P>- Daten</P> <P>- Parametern</P> <P>- Datenbanken</P> <P>- Funktion</P> <P>- Marken</P> <P>des Programmes.</P> <P>Bei Klick auf ein Baumelement () wird der Unterbaum geöffnet. Wenn es sich um ein Blatt handelt, <P>Bei Doppelklick auf ein Blatt wird die Quelle zu diesem Objekt angezeigt.</P> <P><B></B></P> </BODY> </HTML> ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.17Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
