(hg) repository as library Miscellaneous setup : set the haxelib repository path newrepo : create a new local repository deleterepo : delete the local repository convertxml : convert haxelib.xml file to haxelib.json run : run the specified library with parameters proxy : setup the Http proxy ...
docker image: support sagews2pdf.py "convert to PDF" button by pointing download source to localhost rather the cloud.sagemath.com A-docker A-sagews2pdf I-bug M-low P-low #1319 opened Nov 29, 2016 by williamstein 9 smc docker image -- simplify sync / copy of files from/to cloud...
(hg) repository as library Miscellaneous setup : set the haxelib repository path newrepo : create a new local repository deleterepo : delete the local repository convertxml : convert haxelib.xml file to haxelib.json run : run the specified library with parameters proxy : setup the Http proxy ...