Changes between Version 6 and Version 7 of CurrentlyProposedLanguage

Timestamp:

Nov 4, 2010 4:21:52 PM (13 years ago)

Author:

sunshine

Comment:

--

CurrentlyProposedLanguage

@@ -3 +3 @@
 = Relational operators =
 Standard relational operators apply
-||Meaning         || Operator ||
+||'''Meaning     '''    || '''Operator '''||
 ||Less than       ||<         ||
 ||Less or equal   ||<=        ||
@@ -13 +13 @@
 = Logical operators =
 Standard logical operators apply
-||Meaning || Operator ||
+||'''Meaning''' || '''Operator '''||
 ||And     || and      ||
 ||Or      || or       ||
@@ -26 +26 @@
 = Temporal operators =
 We want to be able to denote order and concurrency of events and state changes, and duration of events.
-||Meaning                          || Operator and example ||
+||'''Meaning    '''                   ||''' Operator and example '''||
 ||A occurs after B                 || B -> A               ||
 ||A and B occur concurrently       || A | | B              ||