11 months ago wenzelm support for etc/platform.props, to specify multi-platform directory structure more accurately;
11 months ago wenzelm clarified signature;
11 months ago wenzelm tuned;
11 months ago wenzelm clarified modules;
11 months ago wenzelm clarified modules;
11 months ago wenzelm build Isabelle component for Go: all platforms;
11 months ago wenzelm misc tuning;
11 months ago wenzelm just one copy of darwin-universal.tar.gz;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 tip