Skip to content
Success

Changes

Summary

  1. tuned;
  2. merged
  3. provide tmp_dir for server session;
  4. clarified signature: flexible base_dir;
  5. clarified exported messages, e.g. suppress "information", "tracing"; export "legacy_feature" as "warning", in accordance to console default output;
  6. clarified signature: prefer selective include_sessions;
  7. clarified signature: more uniform session_id;
  8. clarified signature;
  9. clarified signature: do not expose somewhat accidental internal options;
  10. misc tuning and clarification;
  11. more documentation;
  12. clarified result;
  13. tuned;
  14. clarified error result, without JSON object from "session_build"; clarified regular result;
  15. proper order of matches: Server.Error is an instance of Exn.ERROR;
  16. clarified result;
  17. clarified markup according to common Command.Results;
  18. make baliL and baliR symmetric
  19. proof of concept for algebraically founded bit lists
  20. tuned proof
  21. prefer convention to place operation name before type name
Changeset 67927:0b70405b3969 by wenzelm:
tuned;
The file was modified src/Doc/System/Server.thy (diff)
Changeset 67926:e6b9703b9656 by wenzelm:
merged
Changeset 67925:74dce5658d4c by wenzelm:
provide tmp_dir for server session;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67924:b2cdd24e83b6 by wenzelm:
clarified signature: flexible base_dir;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 67923:3e072441c96a by wenzelm:
clarified exported messages, e.g. suppress &quot;information&quot;, &quot;tracing&quot;;<br>export &quot;legacy_feature&quot; as &quot;warning&quot;, in accordance to console default output;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67922:9e668ae81f97 by wenzelm:
clarified signature: prefer selective include_sessions;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67921:1722384ffd4a by wenzelm:
clarified signature: more uniform session_id;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67920:c3c74310154e by wenzelm:
clarified signature;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67919:dd90faed43b2 by wenzelm:
clarified signature: do not expose somewhat accidental internal options;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67918:7dc204623770 by wenzelm:
misc tuning and clarification;
The file was modified src/Doc/System/Server.thy (diff)
Changeset 67917:d13b2dd20f5e by wenzelm:
more documentation;
The file was modified src/Doc/System/Server.thy (diff)
Changeset 67916:a72f01c63262 by wenzelm:
clarified result;
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67915:d827728b74b3 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/protocol.scala (diff)
Changeset 67914:9f82f6cc3bfc by wenzelm:
clarified error result, without JSON object from &quot;session_build&quot;;<br>clarified regular result;
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67913:d58fa3ed236f by wenzelm:
proper order of matches: Server.Error is an instance of Exn.ERROR;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 67912:a7731d581bbc by wenzelm:
clarified result;
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67911:3cda747493d8 by wenzelm:
clarified markup according to common Command.Results;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 67910:b42473502373 by nipkow:
make baliL and baliR symmetric
The file was modified src/HOL/Data_Structures/RBT.thy (diff)
Changeset 67909:f55b07f4d1ee by haftmann:
proof of concept for algebraically founded bit lists
The file was addedsrc/HOL/ex/Bit_Lists.thy
The file was modified src/HOL/ROOT (diff)
Changeset 67908:537f891d8f14 by haftmann:
tuned proof
The file was modified src/HOL/Parity.thy (diff)
Changeset 67907:02a14c1cb917 by haftmann:
prefer convention to place operation name before type name
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/ex/Word_Type.thy (diff)