SuccessChanges

Summary

  1. Fix #ifdef processing and move to properties, fixes #710 (commit: 3ce9276) (details)
  2. Added #ifndef keyword (commit: 34989bc) (details)
Commit 3ce92764dcba355ad948b8b73dd0791f4fb9a3fb by nick.battle
Fix #ifdef processing and move to properties, fixes #710
(commit: 3ce9276)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/VDMPP.java
The file was modifiedide/vdmpp/ui/src/main/java/org/overture/ide/vdmpp/ui/editor/syntax/VdmPpKeywords.java
The file was modifiedide/vdmsl/ui/src/main/java/org/overture/ide/vdmsl/ui/editor/syntax/VdmSlKeywords.java
The file was modifiedide/vdmrt/ui/src/main/java/org/overture/ide/vdmrt/ui/editor/syntax/VdmRtKeywords.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/VDMRT.java
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmSl.java
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmRt.java
The file was modifiedcore/parser/src/main/java/org/overture/parser/lex/LatexStreamReader.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/VDMSL.java
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmPp.java
Commit 34989bc0321c3454998cd752baaa873cf5d5016b by nick.battle
Added #ifndef keyword
(commit: 34989bc)
The file was modifiedide/vdmsl/ui/src/main/java/org/overture/ide/vdmsl/ui/editor/syntax/VdmSlKeywords.java
The file was modifiedide/vdmpp/ui/src/main/java/org/overture/ide/vdmpp/ui/editor/syntax/VdmPpKeywords.java
The file was modifiedide/vdmrt/ui/src/main/java/org/overture/ide/vdmrt/ui/editor/syntax/VdmRtKeywords.java