Summary
- separated treatment of undefined bodys
- tuned arguments
- modernized handling of variables
- structurally tuned
- tuned names
- prefer build combinator
- tuned whitespace
The file was modified | src/Tools/Code/code_thingol.ML (diff) |
The file was modified | src/Tools/Code/code_thingol.ML (diff) |
The file was modified | src/Tools/Code/code_haskell.ML (diff) |
The file was modified | src/Tools/Code/code_ml.ML (diff) |
The file was modified | src/Tools/Code/code_printer.ML (diff) |
The file was modified | src/Tools/Code/code_scala.ML (diff) |
The file was modified | src/Tools/Code/code_thingol.ML (diff) |
The file was modified | src/Tools/Code/code_thingol.ML (diff) |
The file was modified | src/Tools/Code/code_thingol.ML (diff) |
The file was modified | src/Pure/Isar/code.ML (diff) |
The file was modified | src/Tools/Code/code_namespace.ML (diff) |
The file was modified | src/Tools/Code/code_preproc.ML (diff) |
The file was modified | src/Tools/Code/code_printer.ML (diff) |
The file was modified | src/Tools/Code/code_runtime.ML (diff) |
The file was modified | src/Tools/Code/code_scala.ML (diff) |
The file was modified | src/Tools/Code/code_thingol.ML (diff) |
The file was modified | src/Tools/Code/code_thingol.ML (diff) |