Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. OCaml Global Tags
  5. Download

OCaml Global Tags 1.0

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos

Sobre OCaml Global Tags

Um plugin OCaml para a GNU Global, utilizando o CamlP4 para as versões 3.10 de OCaml ou superior. Fornece ocaml_tags, que cria tags para ficheiros ml e mli, e um script ogtags que envolve uma chamada gtags com o plugin ocaml_tags.

Programas Relacionados

  • JUnit-addons Grátis

    JUnit-addons é uma coleção de aulas de ajudantes para jUnit. Esta biblioteca pode ser usada tanto com jUnit 3.7 como JUnit 3.8.x

  • Minnie Clock Widget Grátis

    Este é simples, bonito e fácil de usar Minnie Clock Widget e você pode escolher entre 3 tamanhos: 2x2, 3x3, 4x4. Não se atrase e divirta-se com widgets :)NOTIFICATION:-A ligação à Internet é necessária para exibir uma lista d

  • FlightTools E6B Julgamento Gratuito

    Executa todos os calcs E6B padrão e, em seguida, alguns.9-16-10 - 1.8: Neg. Adicionado gal/lit conv. para consumo de combustível- Conversão SM/Nó/Km- Conversão de temperatura C/F- Conversão de pressão- Velocidade

  • G-UML Grátis

    Linguagem de programação e ferramentas que permitem: geração de código fácil para Java,C#,C++,..; verificar a correção do código e as propriedades formais. O objetivo é permitir a reutilização máxima dos componentes (sem depe

  • JKoha - Java implementation of koha ILS Grátis

    Dedicado a fornecer uma implementação completa de Java e Object Oriented de Koha ILS. A Koha é o primeiro Sistema de Bibliotecas Free and Open Source do mundo com um catálogo completo, opac, circulação, gestão de membros, sér

  • DiaGen Grátis

    Uma linguagem de descrição da arquitetura (DiaSpec) suporta a descrição de componentes de uma determinada área de computação distribuída. A partir destas descrições, a DiaGen gera um quadro de programação dedicado para apoiar

  • Webtest Template Generator Grátis

    O Gerador de Modelos de Teste Web cria ficheiros XML para cada página web na aplicação-alvo. Cria um modelo que inicia sessão na aplicação, invoca uma determinada página e verifica que não ocorrem erros e valida links e image

  • erlide: Erlang IDE @ Eclipse Grátis

    Um IDE baseado em Eclipse para Erlang http://www.erlang.org, uma linguagem orientada à concuência desenvolvida por Ericsson. Por favor, instale/atualize a partir de http://erlide.org/update

  • db4o proxy activation Grátis

    Este projeto fornece ativação transparente ao DB4O usando proxies em vez de transformação de bytecode.

  • B2BOS Grátis

    O "Business to Business Operating System" é um conjunto de módulos baseados em Java para fornecer leilões, catálogos, diretórios como uma alternativa de código aberto à B2B E-Marketplaces. O aspeto "sistema ope