Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned signature;
  3. tuned;
  4. NEWS;
  5. indentation of keywords after input;
  6. indent = 0 for blank lines: produce less whitespace by default;
  7. clarified prev_line: stop at blank line;
  8. more information;
  9. tuned signature;
  10. tuned;
  11. avoid trailing spaces;
  12. clarified modules; tuned;
  13. Merged
  14. distrib_lattice instance for filters
Changeset 66184:8328467d32f4 by wenzelm:
merged
Changeset 66183:c67933ea9234 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 66182:1a4b6ae5e72b by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
Changeset 66181:33d7519fc35d by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 66180:201d42f67bba by wenzelm:
indentation of keywords after input;
The file was modified src/Tools/jEdit/etc/options (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
Changeset 66179:148d61626014 by wenzelm:
indent = 0 for blank lines: produce less whitespace by default;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 66178:5f02bf37324f by wenzelm:
clarified prev_line: stop at blank line;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 66177:7fd83f20e3e9 by wenzelm:
more information;
The file was modified src/Pure/Isar/line_structure.scala (diff)
Changeset 66176:b51a40281016 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/fold_handling.scala (diff)
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
The file was modified src/Tools/jEdit/src/token_markup.scala (diff)
Changeset 66175:09fe6ae94331 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 66174:8903653fc22e by wenzelm:
avoid trailing spaces;
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
Changeset 66173:6c71a3af85a3 by wenzelm:
clarified modules;<br>tuned;
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 66172:df70049d584d by eberlm _eberlm@in.tum.de_:
Merged
Changeset 66171:454abfe923fe by eberlm _eberlm@in.tum.de_:
distrib_lattice instance for filters
The file was modified src/HOL/Filter.thy (diff)