relax checkstyle, add comments to grammar

fix #1

.checkstyle_rules.xml

@@ -81,15 +81,18 @@
 
         <!-- Checks for Javadoc comments.                     -->
         <!-- See http://checkstyle.sf.net/config_javadoc.html -->
-        <module name="JavadocMethod"/>
+        <!--<module name="JavadocMethod"/>
         <module name="JavadocType"/>
         <module name="JavadocVariable"/>
         <module name="JavadocStyle"/>
+        -->
 
         <!-- Checks for Naming Conventions.                  -->
         <!-- See http://checkstyle.sf.net/config_naming.html -->
         <module name="ConstantName"/>
+        <!--
         <module name="LocalFinalVariableName"/>
+        -->
         <module name="LocalVariableName"/>
         <module name="MemberName"/>
         <module name="MethodName"/>
@@ -161,7 +164,7 @@
         <!-- Checks for class design                         -->
         <!-- See http://checkstyle.sf.net/config_design.html -->
         <module name="DesignForExtension"/>
-        <module name="FinalClass"/>
+        <!--<module name="FinalClass"/> -->
         <module name="HideUtilityClassConstructor"/>
         <module name="InterfaceIsType"/>
         <module name="VisibilityModifier"/>
@@ -169,7 +172,7 @@
         <!-- Miscellaneous other checks.                   -->
         <!-- See http://checkstyle.sf.net/config_misc.html -->
         <module name="ArrayTypeStyle"/>
-        <module name="FinalParameters"/>
+       <!-- <module name="FinalParameters"/> -->
         <module name="TodoComment"/>
         <module name="UpperEll"/>
 

.gitmodules

+[submodule "doc"]
+	path = doc
+	url = git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git

src/main/antlr4/edu/kit/formal/proofscriptparser/ScriptLanguage.g4

@@ -111,6 +111,11 @@ callStmt
 
 //LEXER Rules
 WS : [ \t\n\r]+ -> skip ;
+
+//comments, allowing nesting.
+SINGLE_LINE_COMMENT : '//' ~[\r\n]* -> skip;
+MULTI_LINE_COMMENT  : '/*' (MULTI_LINE_COMMENT|.)*? '*/' -> skip;
+
 CASES: 'cases';
 CASE: 'case';
 DEFAULT: 'default';