Difference between revisions of "Template:LanguageReferenceNavbar2"

Revision as of 13:15, 18 April 2017

Language Reference
Basic Concepts Lexical Elements Compilation Units Interfaces Classes Implementations Generic Interfaces and Classes Monitors Namespaces Program Sections Domains Constants Predicates Properties Facts Clauses Terms Conversion Exception Handling Built-in entities Directives Attributes

@@ Line 1: / Line 1: @@
-{| style="float:right;Clear:right;margin-bottom:0.5em;margin-left:1em;padding:0.2em;border:1px solid #AAA;background:#F9F9F9;color:black;"
+{| style="float:right;Clear:right;margin-bottom:0.5em;margin-left:1em;padding:0.2em;border:1px solid #7BADC7;background:#F9F9F9;color:black;"
 |- style="background:gainsboro;"
 ! Language Reference