Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. NEWS;
  3. clarified indentation;
  4. indentation of brackets;
  5. clarified keywords;
  6. clarified keywords;
  7. proper filter;
  8. tunes signature;
  9. observe comments in indentation, but not in fold structure;
  10. support more modes;
  11. clarified keywords;
  12. clarified indentation;
  13. explicit kind "before_command"; tuned signature;
  14. clarified indentation involving 'begin';
  15. more robust;
Changeset 63453:932a3d470264 by wenzelm:
merged
Changeset 63452:52349e41d5dc by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 63451:c4c587aedee8 by wenzelm:
clarified indentation;
The file was modified src/Pure/Pure.thy (diff)
Changeset 63450:afd657fffdf9 by wenzelm:
indentation of brackets;
The file was modified src/Pure/General/word.scala (diff)
The file was modified src/Pure/Isar/token.scala (diff)
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63449:b3f6e81cd13b by wenzelm:
clarified keywords;
The file was modified src/Pure/Thy/thy_header.ML (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 63448:998acd66fbd7 by wenzelm:
clarified keywords;
The file was modified src/Pure/Thy/thy_header.ML (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 63447:55b1bed86c44 by wenzelm:
proper filter;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63446:19162a9ef7e3 by wenzelm:
tunes signature;
The file was modified src/Pure/Isar/parse.scala (diff)
The file was modified src/Pure/Isar/token.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63445:5761bb8592dc by wenzelm:
observe comments in indentation, but not in fold structure;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63444:8191c3e9f2d3 by wenzelm:
support more modes;
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/token_markup.scala (diff)
Changeset 63443:c037248d54e8 by wenzelm:
clarified keywords;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 63442:f6b5124b7023 by wenzelm:
clarified indentation;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63441:4c3fa4dba79f by wenzelm:
explicit kind &quot;before_command&quot;;<br>tuned signature;
The file was modified src/Pure/Isar/keyword.ML (diff)
The file was modified src/Pure/Isar/keyword.scala (diff)
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Pure/Isar/token.scala (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Tools/jEdit/src/rendering.scala (diff)
The file was modified src/Tools/jEdit/src/token_markup.scala (diff)
Changeset 63440:2ce032a41a3a by wenzelm:
clarified indentation involving &#039;begin&#039;;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63439:5ad98525e918 by wenzelm:
more robust;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)