Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified keywords;
  3. more indentation for quasi_command keywords;
  4. tuned;
  5. tuned;
  6. tuned;
  7. support for quasi_command keywords;
  8. tuned signature: more uniform Keyword.spec;
  9. indentation in reminiscence to Proof General (see proof-indent.el);
  10. tuned;
  11. tuned;
  12. tuned;
  13. clarified signature;
  14. more operations;
  15. clarified modules;
  16. basic setup for indentation;
  17. tuned;
  18. more operations;
Changeset 63436:9974230f9574 by wenzelm:
merged
Changeset 63435:7743df69a6b4 by wenzelm:
clarified keywords;
The file was modified src/Tools/Code_Generator.thy (diff)
The file was modified src/ZF/Inductive_ZF.thy (diff)
Changeset 63434:c956d995bec6 by wenzelm:
more indentation for quasi_command keywords;
The file was modified src/HOL/Typedef.thy (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63433:aa03b0487bf5 by wenzelm:
tuned;
The file was modified src/HOL/Library/Groups_Big_Fun.thy (diff)
The file was modified src/HOL/Library/Perm.thy (diff)
The file was modified src/HOL/Library/Polynomial.thy (diff)
The file was modified src/HOL/Library/Saturated.thy (diff)
Changeset 63432:ba7901e94e7b by wenzelm:
tuned;
The file was modified src/HOL/Fun_Def.thy (diff)
The file was modified src/HOL/HOLCF/Domain.thy (diff)
The file was modified src/HOL/Library/Refute.thy (diff)
The file was modified src/HOL/Library/Simps_Case_Conv.thy (diff)
The file was modified src/HOL/Predicate_Compile.thy (diff)
The file was modified src/HOL/SPARK/SPARK_Setup.thy (diff)
The file was modified src/HOL/Sledgehammer.thy (diff)
The file was modified src/Tools/Adhoc_Overloading.thy (diff)
Changeset 63431:8002eec44fbb by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63430:9c5fcd355a2d by wenzelm:
support for quasi_command keywords;
The file was modified src/Pure/Isar/keyword.ML (diff)
The file was modified src/Pure/Isar/keyword.scala (diff)
Changeset 63429:baedd4724f08 by wenzelm:
tuned signature: more uniform Keyword.spec;
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/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/Thy/thy_header.ML (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
The file was modified src/Pure/Tools/find_consts.ML (diff)
The file was modified src/Pure/Tools/find_theorems.ML (diff)
Changeset 63428:005b490f0ce2 by wenzelm:
indentation in reminiscence to Proof General (see proof-indent.el);
The file was modified src/Pure/Isar/keyword.scala (diff)
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63427:88d62f8b5f6e by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63426:2e4de628201f by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
Changeset 63425:5a573668ceae by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63424:e4e15bbfb3e2 by wenzelm:
clarified signature;
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/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63423:ed65a6d9929b by wenzelm:
more operations;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 63422:5cf8dd98a717 by wenzelm:
clarified modules;
The file was addedsrc/Tools/jEdit/src/text_structure.scala
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/token_markup.scala (diff)
The file was removedsrc/Tools/jEdit/src/structure_matching.scala
Changeset 63421:3bf02e7fa8a3 by wenzelm:
basic setup for indentation;
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/token_markup.scala (diff)
Changeset 63420:b43a3f7d9935 by wenzelm:
tuned;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 63419:f473b6b16c63 by wenzelm:
more operations;
The file was modified src/Pure/General/untyped.scala (diff)