Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified URL;
  2. clarified pdf path;
  3. HTTP view of Isabelle PDF documentation;
  4. clarified signature;
  5. more robust;
  6. tuned message;
  7. clarified signature: more explicit section structure;
  8. clarified signature;
  9. clarified signature;
  10. tuned signature;
  11. tuned;
  12. clarified URL (again);
  13. more robust toplevel url: allow extra "/";
  14. clarified signature;
Changeset 75121:2efbb4e813ad by wenzelm:
clarified URL;
The file was modified src/Pure/General/http.scala (diff)
Changeset 75120:488c7e8923b2 by wenzelm:
clarified pdf path;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/Tools/doc.scala (diff)
The file was modified src/Tools/jEdit/src/documentation_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
Changeset 75119:7bf685cbc789 by wenzelm:
HTTP view of Isabelle PDF documentation;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
Changeset 75118:6fd8e482c9ce by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/doc.scala (diff)
The file was modified src/Tools/jEdit/src/documentation_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
Changeset 75117:4b3ae1a3bbbd by wenzelm:
more robust;
The file was modified src/Pure/General/http.scala (diff)
Changeset 75116:001b74439ad4 by wenzelm:
tuned message;
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Pure/Tools/doc.scala (diff)
Changeset 75115:c212435866d6 by wenzelm:
clarified signature: more explicit section structure;
The file was modified src/Pure/Tools/doc.scala (diff)
The file was modified src/Tools/jEdit/src/documentation_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
Changeset 75114:1fd78367c96f by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/doc.scala (diff)
The file was modified src/Tools/jEdit/src/documentation_dockable.scala (diff)
Changeset 75113:a7a489ea4661 by wenzelm:
clarified signature;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 75112:899e70a9af83 by wenzelm:
tuned signature;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 75111:ecaac5050ec2 by wenzelm:
tuned;
The file was modified src/Pure/General/http.scala (diff)
Changeset 75110:3c8f24e9eff1 by wenzelm:
clarified URL (again);
The file was modified src/Pure/General/http.scala (diff)
Changeset 75109:e6162afc5460 by wenzelm:
more robust toplevel url: allow extra "/";
The file was modified src/Pure/General/http.scala (diff)
Changeset 75108:05ba781cf890 by wenzelm:
clarified signature;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)