Disable the agda cube by default
This commit is contained in:
parent
0827329d58
commit
5d06272e19
|
@ -29,7 +29,7 @@
|
||||||
(defcube fg42/proof-general-cube
|
(defcube fg42/proof-general-cube
|
||||||
"Integrate Proof General with Fg42"
|
"Integrate Proof General with Fg42"
|
||||||
:title "Proof General cube"
|
:title "Proof General cube"
|
||||||
:flag-default t
|
:flag-default nil
|
||||||
:flag proof-general
|
:flag proof-general
|
||||||
|
|
||||||
(fpkg/use proof-general)
|
(fpkg/use proof-general)
|
||||||
|
|
Loading…
Reference in New Issue