Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. OCaml Global Tags

OCaml Global Tags 1.0

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos
Descargar

Un plugin OCaml para GNU Global, usando CamlP4 para las versiones 3.10 de OCaml y superiores. Proporciona ocaml_tags, que crea etiquetas para archivos ml y mli, y un script ogtags que envuelve una llamada gtags con el complemento ocaml_tags.

historial de versiones

  • Versión ocamlglobaltags-1.0 publicado en 2009-06-04
    Varias correcciones y actualizaciones
  • Versión ocamlglobaltags-1.0 publicado en 2009-06-04

Detalles del programa

Programas relacionados

  • JUnit-addons Gratis

    JUnit-addons es una colección de clases auxiliares para JUnit. Esta biblioteca se puede utilizar con JUnit 3.7 y JUnit 3.8.x

  • Minnie Clock Widget Gratis

    Esto es simple, hermoso y fácil de usar Minnie Clock Widget y se puede elegir entre 3 tamaños: 2x2, 3x3, 4x4. No llegues tarde y diviértete y diferente widget de reloj :)NOTIFICATION:-Conexión a Internet es necesaria para mos

  • FlightTools E6B Prueba gratuita

    Realiza todos los cálculos E6B estándar y, a continuación, algunos.9-16-10 - 1.8: Númos numerados neg. Añadido gal/lit conv. para el consumo de combustible- Conversión SM/Knot/Km- Conversión de temperatura C/F- Con

  • G-UML Gratis

    Lenguaje de programación y herramientas que permiten: fácil generación de código para Java, C, C++,..; verificar la corrección del código y las propiedades formales. El objetivo es permitir la máxima reutilización de los comp

  • JKoha - Java implementation of koha ILS Gratis

    Dedicado a proporcionar una implementación completa de Koha ILS y Java. Koha es el primer sistema de bibliotecas libre y de código abierto del mundo con un paquete completo de catálogo, opac, circulación, gestión de miembros,

  • DiaGen Gratis

    Un lenguaje de descripción de arquitectura (DiaSpec) admite la descripción de los componentes de un área de computación distribuida determinada. A partir de estas descripciones, DiaGen genera un marco de programación dedicado

  • Webtest Template Generator Gratis

    Webtest Template Generator crea archivos xml para cada página web de la aplicación de destino. Crea una plantilla que inicia sesión en la aplicación, invoca una página determinada y, a continuación, comprueba que no se produc

  • erlide: Erlang IDE @ Eclipse Gratis

    Un IDE basado en Eclipse para Erlang http://www.erlang.org, un lenguaje orientado a la simultaneidad desarrollado por Ericsson. Instale/actualice desde http://erlide.org/update

  • db4o proxy activation Gratis

    Este proyecto proporciona una activación transparente a DB4O mediante servidores proxy en lugar de transformación de código de bytes.

  • B2BOS Gratis

    El "Business to Business Operating System" es un conjunto de módulos basados en Java para proporcionar subastas, catálogos, directorios como una alternativa de código abierto a B2B E-Marketplaces. El aspecto "s