changeset 69161 | 44e1c9f93755 |
parent 69137 | 90fce429e1bc |
child 76222 | 3c4e373922ca |
69160:30c384e72749 | 69161:44e1c9f93755 |
---|---|
9 shift |
9 shift |
10 |
10 |
11 bin/isabelle components -a |
11 bin/isabelle components -a |
12 bin/isabelle jedit -bf |
12 bin/isabelle jedit -bf |
13 bin/isabelle ocaml_setup |
13 bin/isabelle ocaml_setup |
14 bin/isabelle ghc_setup |
|
14 bin/isabelle "ci_build_$PROFILE" "$@" |
15 bin/isabelle "ci_build_$PROFILE" "$@" |