products/Sources/formale Sprachen/Coq/ide/MacOS/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: languages19.html   Sprache: Unknown

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html><head><title>languages</title>
<meta http-equiv="Content-Style-Type" content="text/css">
<style type="text/css"><!--
body {
  margin: 5px 5px 5px 5px;
  background-color: #ffffff;
}
/* ========== Text Styles ========== */
hr { color: #000000}
body, table, span.rvts0 /* Normal text */
{
 font-size: 10pt;
 font-family: 'Arial', 'Helvetica', sans-serif;
 font-style: normal;
 font-weight: normal;
 color: #000000;
 text-decoration: none;
}
span.rvts1 /* Heading */
{
 font-weight: bold;
 color: #0000ff;
}
span.rvts2 /* Subheading */
{
 font-weight: bold;
 color: #000080;
}
span.rvts3 /* Keywords */
{
 font-style: italic;
 color: #800000;
}
a.rvts4, span.rvts4 /* Jump 1 */
{
 color: #008000;
 text-decoration: underline;
}
a.rvts5, span.rvts5 /* Jump 2 */
{
 color: #008000;
 text-decoration: underline;
}
span.rvts6
{
 font-size: 24pt;
 font-family: 'Times New Roman', 'Times', serif;
 font-weight: bold;
 color: #000000;
}
span.rvts7
{
 font-size: 12pt;
 font-family: 'Times New Roman', 'Times', serif;
 color: #000000;
}
span.rvts8 /* Font Style */
{
 font-size: 16pt;
 font-family: 'Tahoma', 'Geneva', sans-serif;
 color: #ffffff;
}
span.rvts9 /* Font Style */
{
 font-family: 'MS Sans Serif', 'Geneva', sans-serif;
 color: #808080;
}
span.rvts10 /* Font Style */
{
 font-family: 'Verdana', 'Geneva', sans-serif;
 font-style: italic;
 color: #c0c0c0;
}
a.rvts11, span.rvts11 /* Font Style */
{
 font-family: 'Verdana', 'Geneva', sans-serif;
 font-style: italic;
 color: #6666ff;
 text-decoration: underline;
}
/* ========== Para Styles ========== */
p,ul,ol /* Paragraph Style */
{
 text-align: left;
 text-indent: 0px;
 padding: 0px 0px 0px 0px;
 margin: 0px 0px 0px 0px;
}
.rvps1 /* Centered */
{
 text-align: center;
}
.rvps2
{
 background: #ffffff;
}
.rvps3
{
 text-align: left;
 text-indent: 0px;
 background: #ffffff;
 padding: 0px 0px 0px 0px;
 margin: 19px 0px 19px 0px;
}
.rvps4
{
 background: #ffffff;
 margin: 7px 0px 7px 0px;
}
.rvps5 /* Paragraph Style */
{
 text-align: left;
 text-indent: 0px;
 background: #9fbed0;
 padding: 5px 5px 2px 5px;
 margin: -5px -5px 18px -5px;
}
.rvps6 /* Paragraph Style */
{
 text-align: center;
 background: #e4e4e4;
 margin: 20px 0px 0px 0px;
}
.rvps7 /* Paragraph Style */
{
 border-color: #c0c0c0;
 border-style: solid;
 border-width: 1px;
 border-right: none;
 border-bottom: none;
 border-left: none;
 background: #ffffff;
 padding: 3px 0px 0px 0px;
 margin: 27px 0px 0px 0px;
}
-->
<link rel="StyleSheet" href="hnd.css" type="text/css"/>
<script type="text/javascript">if(top.frames.length == 0) { sTopic = top.location.href.substring(top.location.href.lastIndexOf("/") + 1, top.location.href.length); top.location.href="../standard.english.htm?" + sTopic; }</script>
<script type="text/javascript" src="jquery.min.js"></script>
<script type="text/javascript" src="jquery.cookie.js"></script>
<script type="text/javascript" src="hnd.js"></script>
<meta name="generator" content="HelpNDoc Freeware Edition"></head>
<body>
<h1 class=rvps5><span class=rvts0><span class=rvts8>languages</span></span></h1>
<h1 class=rvps3><span class=rvts0><span class=rvts6>Supported Languages</span></span></h1>
<p class=rvps4><span class=rvts7>These languages are supported</span></p>
<ul style="text-indent: 0px; margin-left: 35px; list-style-position: outside;">
<li class=rvps2><span class=rvts7>Windows-Batch, *.bat or *.cmd</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>Isabelle Theories, *.thy</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>COBOL Sources, *.cob</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>GAP algebraic files, *.in</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>MT940 money transfer formalism, *.mt</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>Fortran, *.ftn</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>Abap, *.abapt</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>Ada, *.adbt</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>Accent parser generater, *.acc</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>(F)Lex scanner generator, *.lex</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>Perl, *.pl</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>SPS, *.sps</span><br><span class=rvts7><br></span></li>
<li class=rvps2><span class=rvts7>VHDL, *.vhdl</span><br><span class=rvts7><br></span></li>
</ul>
<p class=rvps6><span class=rvts9>Copyright © 2010, Context IT GmbH</span></p>
<p class=rvps7><span class=rvts10>Created with the Freeware Edition of HelpNDoc: </span><a class=rvts11 href="http://www.helpndoc.com" target="_blank">Create HTML Help, DOC, PDF and print manuals from 1 single source</a></p>
</body></html>

[ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ]