Query: cduce_mktop
OS: debian
Section: 1
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
cduce_mktop(1) General Commands Manual cduce_mktop(1)NAMEcduce_mktop -- Produce a customized CDuce toplevel/compiler.SYNOPSIScduce_mktop [target] [primitive file] Description See the CDuce users' manual: http://www.cduce.org/manual_interfacewithocaml.html#link. Author Alain Frisch <Alain.Frisch@ens.fr>. cduce_mktop(1)
| Related Man Pages |
|---|
| coqmktop(1) - debian |
| fc(1) - debian |
| jocamlmktop(1) - debian |
| libifstat-config(1) - debian |
| users(1) - debian |
| Similar Topics in the Unix Linux Community |
|---|
| Installing Dash Shell on OS X Lion |
| Is UNIX an open source OS ? |
| Introduction |
| Weird 'find' results |
| New UNIX and Linux History Sections |