Merged from XML branch to HEAD. Start release prep.
merged from v103_branch
Compatibility fixes when reading caches from other scram projects.
Some more bugfixes.
More support for tool editor
First fully-working version.
*** empty log message ***
*** empty log message ***
Start to add support for user interaction with compiler meta.
*** empty log message ***
Fix to bug 7570 (tool version mismatch handled gracefully)
Some more tidying of file permissions for downloaded/cached files.
Copy the URL cache to developer areas.
Fix to toolcache problems..phew.
Merged V1_0 branch to HEAD
file ToolManager.pm was initially added on branch SCRAM_V1_BRANCH.
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.