including new features (productive productions and new extract productions builder) in the changelog

Author: udesou

changeLog.md

@@ -25,7 +25,7 @@ Example:
     Exp.Add          = < <Exp> + <Exp> > {left}
     Statement        = Exp
 
-  - Kernel Section can be written in productive form.
+  - Productions from Syntax (kernel) and Variables sections can be written in productive form.
   - Kernel sorts must be written without angle brackets.
 
 Example:
@@ -56,13 +56,15 @@ There are new builders available for both SDF2 and SDF3 files. They include:
 - SDF3 - Format:
 	- Format, which generates a prettyprinted .sdf3 file.
 	- Lift, which generates a .sdf3 file converting all deprecated items.
-	- Lift (templates), which does the same as the previous one, but generates single line templates from regular productions.<br><br>
+	- Lift (templates), which does the same as the previous one, but generates single line templates from regular productions.	<br>
+	- Extract productions, which lifts productions to SDF3 and extract regular productions from templates.<br><br>
 
 - SDF2 - Generate:
 	- Lift to SDF3, which generates .sdf3 files from the sdf2 definition.
 	- Lift to SDF3 (templates), which does the same as the previous one, but generates single line templates from regular productions.<br>	 
 
-	All builders have the option (abstract) to generate .aterm files containing the AST for the respective builder.  		
+	
+	All builders have the option (abstract) to generate .aterm files containing the AST for the respective builder. Builders that generate from SDF2 or format SDF3 files 
 
 #### Dropped Features  
 
@@ -75,15 +77,15 @@ Example:
 
     context-free syntax
 
-    Symbol = SymbolLeft | SymbolRight
+    Symbol = A | B
 
 should be translated to:
 
     context-free syntax
 
     Symbol = Alt
-    Alt = SymbolLeft
-    Alt = SymbolRight    
+    Alt = A
+    Alt = B  
 
  - Sequences:
 
@@ -92,30 +94,30 @@ Example:
 
     context-free syntax
 
-    Symbol = (SymbolHead SymbolTail+)
+    Symbol = (A B C ...)
 
 should be translated to:
 
     context-free syntax
 
     Symbol = Seq
-    Seq.Seq = SymbolHead SymbolTail+
+    Seq.Seq = A B C ...
 
  - Tuples:
 
 Example:
 
     context-free syntax
 
-    Symbol = <SymbolHead, {SymbolRest ","}+>
+    Symbol = <A, B, ...>
 
 should be translated to:
 
     context-free syntax
 
     Symbol = Tuple
 
-    Tuple.Tuple = "<" SymbolHead "," {SymbolRest ","}+ ">"
+    Tuple.Tuple = "<" A "," B "," ... ">"
 
 
  - Function:
@@ -124,31 +126,31 @@ Example:
 
     context-free syntax
 
-    Symbol = (SymbolArgs => SymbolRes)
+    Symbol = (A => B)
 
 should be translated to:
 
     context-free syntax
 
     Symbol = Func
 
-    Func.Func = "(" SymbolArgs "=>" SymbolRes ")" 
+    Func.Func = "(" A "=>" B ")" 
 
  - Strategy:
 
 Example:
 
     context-free syntax
 
-    Symbol = (SymbolLeft -> SymbolRight)
+    Symbol = (A -> B)
 
 should be translated to:
 
     context-free syntax
 
     Symbol = Func
 
-    Func.Func = "(" SymbolLeft "->" SymbolRight ")" 
+    Func.Func = "(" A "->" B ")"