This commit has a working --backed=doc option that generates exatly what --backend=latex would without any rules, unless some rules are specially tagged.
This is what the previous commit was meant to be.
This commit adds a file that is necessary for --backed=doc to work.
minor changes
Java backend: a bunch of fixes in order to make [macro] works
Java backend: uncommented macro rules in all three SIMPLE definitions for the Java backend
Java backend: fixed bugs related to reference comparisons between unmodifiable collection wrappers in CopyOnWriteTransformer
Java backend: more progress on fixing bugs related to normalization process and function evaluation
Java backend: more progress on previous work
Java backend: fixed a bug introduced by me ealier
Java backend: revised KOOL definitions to use macro rules
fixed the static-typed definitions for the Java backend
local fix
kore fix
kore output
kore output
kore done
kore done
experimental support for injections of KLabels and KLists in KLabels added
klabel injection does not work on included files (which are not used in the java engine)