Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. slightly generalized card_lists_distinct_length_eq; renamed specialized card_lists_distinct_length_eq to card_lists_distinct_length_eq'; tuned
  2. merged
  3. further cleanup of "guess"
  4. towards a cleanup of Henstock_Kurzweil_Integration.thy
  5. merged
  6. proper check for active server;
  7. clarified signature;
  8. tuned signature;
  9. handle server connections;
  10. clarified database names;
  11. more options; misc tuning and clarification;
  12. support for resident Isabelle servers;
  13. default according to Java API, instead of jEdit usage;
  14. do not fall back on nbe if plain evaluation fails
Changeset 66358:fab9a53158f8 by bulwahn:
slightly generalized card_lists_distinct_length_eq; renamed specialized card_lists_distinct_length_eq to card_lists_distinct_length_eq'; tuned
The file was modified src/HOL/List.thy (diff)
Changeset 66357:3817ee41236d by paulson:
merged
Changeset 66356:a6c9d7206853 by paulson _lp15@cam.ac.uk_:
further cleanup of "guess"
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
Changeset 66355:c828efcb95f3 by paulson _lp15@cam.ac.uk_:
towards a cleanup of Henstock_Kurzweil_Integration.thy
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
Changeset 66354:8bf96de50193 by wenzelm:
merged
Changeset 66353:6e114edae18b by wenzelm:
proper check for active server;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 66352:7ed911242266 by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 66351:95847ffa62dc by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/library.scala (diff)
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 66350:66331026a2fc by wenzelm:
handle server connections;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 66349:66b843e4cff5 by wenzelm:
clarified database names;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 66348:a426e826e84c by wenzelm:
more options;<br>misc tuning and clarification;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 66347:23eaab37e4a8 by wenzelm:
support for resident Isabelle servers;
The file was addedsrc/Pure/Tools/server.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 66346:30663525e057 by wenzelm:
default according to Java API, instead of jEdit usage;
The file was modified src/Pure/System/system_channel.scala (diff)
Changeset 66345:882abe912da9 by haftmann:
do not fall back on nbe if plain evaluation fails
The file was modified NEWS (diff)
The file was modified src/HOL/Tools/value_command.ML (diff)
The file was modified src/HOL/ex/Adhoc_Overloading_Examples.thy (diff)
The file was modified src/HOL/ex/Normalization_by_Evaluation.thy (diff)
The file was modified src/HOL/ex/Transitive_Closure_Table_Ex.thy (diff)