equal
deleted
inserted
replaced
76 |
76 |
77 - Linux: avoid some versions of Debian / Ubuntu (bitmap fonts for prog-prove); |
77 - Linux: avoid some versions of Debian / Ubuntu (bitmap fonts for prog-prove); |
78 |
78 |
79 - fully-automated packaging (e.g. on macbroy2): |
79 - fully-automated packaging (e.g. on macbroy2): |
80 |
80 |
81 hg up -r DISTNAME && Admin/Release/build -M macbroy30 -O -l -r DISTNAME /home/isabelle/dist |
81 hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist |
82 |
82 |
83 |
83 |
84 Final release stage |
84 Final release stage |
85 =================== |
85 =================== |
86 |
86 |