blob: c3656195ef46d68c99c3c07a1e0e11f65ac9bae9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
[
{ type: install
message: <<EOM
You installed lean: The Theorem Prover.
Please note that lean requires /proc to be mounted.
The usual way to do this is to add this line to /etc/fstab:
proc /proc procfs rw 0 0
and then run this command as root:
# mount /proc
EOM
}
]
|