Invia software
  1. Casa
  2. Linux
  3. Altro
  4. OCaml Global Tags

OCaml Global Tags 1.0

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti
Scaricare

Un plugin OCaml per GNU Global, che utilizza CamlP4 per le versioni 3.10 di OCaml e versioni successive. Fornisce ocaml_tags, che crea tag per i file ml e mli, e uno script ogtags che esegue il wrapping di una chiamata gtags con il plug-in ocaml_tags file.

cronologia delle versioni

  • Versione ocamlglobaltags-1.0 pubblicato il 2009-06-04
    Diverse correzioni e aggiornamenti
  • Versione ocamlglobaltags-1.0 pubblicato il 2009-06-04

Dettagli del programma

Programmi correlati

  • JUnit-addons Gratuito

    JUnit-addons è un insieme di classi di helper per JUnit. Questa libreria può essere utilizzata sia con JUnit 3.7 che con JUnit 3.8.x

  • Minnie Clock Widget Gratuito

    Questo è semplice, bello e facile da usare Minnie Clock Widget e puoi scegliere tra 3 taglie: 2x2, 3x3, 4x4. Non essere in ritardo e divertiti e diversi widget orologio :)NOTIFICATION:-Connessione Internet è necessaria per vi

  • FlightTools E6B Prova gratuita

    Esegue tutti i calcoli E6B standard e quindi alcuni.9-16-10 - 1,8: Numeri neg. Aggiunto gal/lit conv.- Conversione SM/nodo/km- Conversione della temperatura C/F- Conversione della pressione- Velocità al suolo-

  • G-UML Gratuito

    Linguaggio di programmazione e strumenti che consentono: facile generazione di codice per Java,C#,C++,..; verificare la correttezza del codice e le proprietà formali. L'obiettivo è quello di consentire la massima riutilizzabi

  • JKoha - Java implementation of koha ILS Gratuito

    Dedicato a fornire un'implementazione completa java e object oriented di Koha ILS. Koha è il primo sistema di biblioteche gratuito e open source al mondo con un catalogo completo, opac, circolazione, gestione dei membri, seri

  • DiaGen Gratuito

    Un linguaggio di descrizione dell'architettura (DiaSpec) supporta la descrizione dei componenti di una data area di calcolo distribuito. Da queste descrizioni, DiaGen genera un framework di programmazione dedicato per support

  • Webtest Template Generator Gratuito

    Webtest Template Generator crea file XML per ogni pagina Web nell'app di destinazione. Crea un modello che consente di accedere all'app, richiama una determinata pagina e quindi verifica che non si verifichino errori e conval

  • erlide: Erlang IDE @ Eclipse Gratuito

    Un IDE basato su Eclipse per Erlang http://www.erlang.org, un linguaggio orientato alla concorrenza sviluppato da Ericsson. Installare/aggiornare da http://erlide.org/update

  • db4o proxy activation Gratuito

    Questo progetto fornisce un'attivazione trasparente a DB4O utilizzando proxy anziché trasformazione bytecode.

  • B2BOS Gratuito

    Il sistema operativo "Business to Business" è un insieme di moduli basati su Java per fornire aste, cataloghi, directory come alternativa open source agli E-Marketplace B2B. L"aspetto del sistema operativo"