Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/analysis_ax/pvsbin/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 7.10.2014 mit Größe 69 kB image not shown  

Quelle  nocolorprompt.css   Sprache: unbekannt

 
Spracherkennung für: .css vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]


/* colors for ColorPrompt like examples */
span.GAPprompt {
  color: #000000;
  font-weight: normal;
}
span.GAPbrkprompt {
  color: #000000;
  font-weight: normal;
}
span.GAPinput {
  color: #000000;
}

[ Dauer der Verarbeitung: 0.91 Sekunden  ]