Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. support for HTTP/POST method; more explict type HTTP.Arg;
  3. clarified defaults;
  4. tuned signature;
  5. auto update;
  6. added missing files (cf. 5aa9cb83e70e);
  7. auto update;
  8. GUI controls similar to Tools/jEdit/src/state_dockable.scala;
  9. GUI layout similar to Pure/GUI/wrap_panel.scala;
  10. Removed more "guess", etc.
  11. more error checking
Changeset 66208:adb9d538f268 by wenzelm:
merged
Changeset 66207:8d5cb4ea2b7c by wenzelm:
support for HTTP/POST method;<br>more explict type HTTP.Arg;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 66206:2d2082db735a by wenzelm:
clarified defaults;
The file was modified src/Pure/GUI/wrap_panel.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Tools/Graphview/graph_panel.scala (diff)
The file was modified src/Tools/Graphview/tree_panel.scala (diff)
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
The file was modified src/Tools/jEdit/src/debugger_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/info_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/monitor_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/output_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/protocol_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/query_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/simplifier_trace_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/simplifier_trace_window.scala (diff)
The file was modified src/Tools/jEdit/src/sledgehammer_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/state_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)
Changeset 66205:e9fa94f43a15 by wenzelm:
tuned signature;
The file was modified src/Pure/GUI/wrap_panel.scala (diff)
The file was modified src/Tools/Graphview/graph_panel.scala (diff)
The file was modified src/Tools/Graphview/tree_panel.scala (diff)
The file was modified src/Tools/jEdit/src/debugger_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/info_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/monitor_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/output_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/protocol_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/query_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/simplifier_trace_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/simplifier_trace_window.scala (diff)
The file was modified src/Tools/jEdit/src/sledgehammer_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/state_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)
Changeset 66204:b0a30a21f627 by wenzelm:
auto update;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66203:5763d9a2f47d by wenzelm:
added missing files (cf. 5aa9cb83e70e);
The file was addedsrc/Tools/VSCode/extension/src/preview_panel.ts
The file was addedsrc/Tools/VSCode/extension/src/state_panel.ts
Changeset 66202:fed3690d3b4d by wenzelm:
auto update;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66201:d8f2c745f572 by wenzelm:
GUI controls similar to Tools/jEdit/src/state_dockable.scala;
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
Changeset 66200:02c66b71c013 by wenzelm:
GUI layout similar to Pure/GUI/wrap_panel.scala;
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 66199:994322c17274 by paulson _lp15@cam.ac.uk_:
Removed more &quot;guess&quot;, etc.
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
Changeset 66198:4a5589dd8e1a by blanchet:
more error checking
The file was modified src/HOL/BNF_Def.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_def.ML (diff)