 Ian Rose
|
67ecbc8f4d
Address review comments.
|
7 years ago |
|
Ian Rose
|
5a42c1e342
Restructure headings, add some more description of app directory
|
7 years ago |
|
Ian Rose
|
320555ee29
Capitalize section.
|
7 years ago |
|
Ian Rose
|
90906f7576
Break out new subsection on Enabling/Disabling extensions.
|
7 years ago |
|
Ian Rose
|
f2b884bdd2
Address review comments.
|
7 years ago |
|
Ian Rose
|
cc912002a8
Remove references to the deprecated `link` command.
|
7 years ago |
|
Ian Rose
|
da1f58cea8
Proof extension documentation.
|
7 years ago |
 Brian E. Granger
|
cd2aa2caf7
User documentation (#3534)
|
7 years ago |
