Changes

Summary

proper backup;
clarified signature;
more ambitious edit_hgrc;
added command hg_setup: setup remote vs. local Mercurial repository;
clarified signature;
clarified signature;
tuned;
clarified signature; tuned;
tuned;
more repository information;
more permissive string fields;
tuned proof (by Thomas Sewell)

Changeset 71315:64ec254d901d by wenzelm: proper backup;
The file was modified	`src/Pure/General/mercurial.scala` (diff)
Changeset 71314:5b68cc73f8b1 by wenzelm: clarified signature;
The file was modified	`src/Pure/General/mercurial.scala` (diff)
The file was modified	`src/Pure/Tools/phabricator.scala` (diff)
Changeset 71313:c7bf771cdfb5 by wenzelm: more ambitious edit_hgrc;
The file was modified	`src/Pure/General/mercurial.scala` (diff)
Changeset 71312:937328d61436 by wenzelm: added command hg_setup: setup remote vs. local Mercurial repository;
The file was modified	`src/Pure/General/mercurial.scala` (diff)
The file was modified	`src/Pure/System/isabelle_tool.scala` (diff)
Changeset 71311:e169a04e4d3b by wenzelm: clarified signature;
The file was modified	`src/Pure/Tools/phabricator.scala` (diff)
Changeset 71310:fd644fb7871b by wenzelm: clarified signature;
The file was modified	`src/Pure/Tools/phabricator.scala` (diff)
Changeset 71309:072e585ba238 by wenzelm: tuned;
The file was modified	`src/Pure/Tools/phabricator.scala` (diff)
Changeset 71308:384755399fa8 by wenzelm: clarified signature;<br>tuned;
The file was modified	`src/Pure/Tools/phabricator.scala` (diff)
Changeset 71307:4a7a1da27087 by wenzelm: tuned;
The file was modified	`src/Pure/General/ssh.scala` (diff)
Changeset 71306:113779776ee4 by wenzelm: more repository information;
The file was modified	`src/Pure/Tools/phabricator.scala` (diff)
Changeset 71305:2f7da37bab52 by wenzelm: more permissive string fields;
The file was modified	`src/Pure/General/json.scala` (diff)
Changeset 71304:9687209ce8cb by nipkow: tuned proof (by Thomas Sewell)
The file was modified	`src/HOL/Data_Structures/Array_Braun.thy` (diff)