Pushed to coqpide/pidetop
660c4f2 install also bytecode version of toploop
PIDEtop ======= This repository provides sources for a toplevel plugin to make Coq speak the PIDE protocol. If you are looking for a release to go with PIDE, checkout the PIDEtop branch (the default branch of this repository). The source code can also be downloaded as an archive from the [downloads page](https://bitbucket.org/coqpide/pidetop/downloads) (Under the 'tags' tab). Installing ---------- If you have installed Coq using Opam, you can use Opam to install pidetop: ``` #!shell opam repo add pide http://bitbucket.org/coqpide/opam.git opam install pidetop ``` Alternatively, building by hand from these sources is driven by coq_makefile and make $ export COQBIN=/your/path/to/coq/bin/ $ $COQBIN/coq_makefile -f Make > Makefile $ make install-toploop For Windows, we provide a [pre-compiled binary](https://bitbucket.org/coqpide/pidetop/downloads/pidetop-windows-0.3.0.zip), unpack the zip file in the toploop directory of the Coq installation directory (usually, C:\Coq\lib\toploop) Compatibility ------------- PIDEtop requires Coq 8.5 License ------- This software is available under LGPL license version 2.1 or at your option the MIT/X license.