summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2015-06-08 05:05:23 -0400
committerMark H Weaver <mhw@netris.org>2015-06-08 20:08:50 -0400
commit0705f79c6f45108961b901e50f828a978fa0e4e8 (patch)
tree5caecfb80a165dd2477b0fe91edf2dffdda06bb3 /doc
parent5dc42964a7899ffdb668e74c62d89f8b7718818e (diff)
downloadguix-0705f79c6f45108961b901e50f828a978fa0e4e8.tar.gz
gnu: Add proof-general.
* gnu/packages/ocaml.scm (proof-general): New variable.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions