diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-10-01 16:51:39 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-10-01 18:08:51 +0200 |
| commit | 2867c568d046937d63528b1f6b6a68b6efe9ef5a (patch) | |
| tree | 68367943716b8f1fa977b2839c8a81652639a462 /stm/texmacspp.ml | |
| parent | 03b631ea3eeeaab9054c34d9121c0a75fabea72c (diff) | |
coq_makefile: build and install *top.cmxs plugins
These plugins, like coqidetop, stmworkertop and tacworkertop are
intended for toploop replacements (see -toploop command line option).
With this commit coq_makefile can be used as the build system for
any user-interface-specific plugins.
Diffstat (limited to 'stm/texmacspp.ml')
0 files changed, 0 insertions, 0 deletions