Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Sep 21, 2011

• Really bump version number

  samoht

  committedSep 21, 2011
  4fac4a5

• Bump version

  samoht

  committedSep 21, 2011
  b5d0da4

• Fix show-type function in vim pluggin for mirage

  samoht

  committedSep 21, 2011
  fda76ef

Commits on Dec 4, 2009

• update README and maintainer for 0.9.0

  avsm

  committedDec 4, 2009
  1d17f15

Commits on Jul 8, 2009

• add support for parsing ident() and call() keywords, but discard them for the moment and just use the type() calls in the output

  avsm

  committedJul 8, 2009
  a86415e

Commits on Mar 27, 2007

• compiled using OCaml 3.10beta and added a few test cases; run them with "make test"

  lindig

  committedMar 27, 2007
  8010597

Commits on Jun 4, 2006

• Fixed typo in manual page.

  lindig

  committedJun 4, 2006
  0ca18a7

• Fixed Copyright notice in manual page. Annot does not include CIL!

  lindig

  committedJun 4, 2006
  a093613

• Target clean must remove pod2* files.

  lindig

  committedJun 4, 2006
  eaed2d2

• location.nw is empty.

  lindig

  committedJun 4, 2006
  cbf8036

• Applied patch provided by Christian Stork.

  lindig

  committedJun 4, 2006
  bbb3931

• Fixed typo.

  lindig

  committedJun 4, 2006
  5b6d569

• Added some words about Noweb and Make target "pdf".

  lindig

  committedJun 4, 2006
  87ce1e4

• Fixed LaTeX bug in intervalmap, fixed Makefile for building PDF.

  lindig

  committedJun 4, 2006
  9fb4711

Commits on May 18, 2006

• Fixed but in Makefile target install. Added new command-line option -r

  lindig

  committedMay 18, 2006
  1ae5389

• Fixed support for Textmate (as suggested by its author).

  lindig

  committedMay 18, 2006
  cfd4e23

Commits on May 17, 2006

• Some more words about editors.

  lindig

  committedMay 17, 2006
  a87ed16

• Configuration for TextMate.

  lindig

  committedMay 17, 2006
  7edf94e

• Added some words about -dtypes flag, as suggested by Bruno.De.Fraine@vub.ac.be.

  lindig

  committedMay 17, 2006
  436dbe2

Commits on May 16, 2006

• Fixed typos in README.

  lindig

  committedMay 16, 2006
  13695dc

• Enabled $Id$ expansion for manual page.

  lindig

  committedMay 16, 2006
  73bb8e7

• Added config.dist.

  lindig

  committedMay 16, 2006
  e9d7495

• Fixed spelling in manual page, improved clarity.

  lindig

  committedMay 16, 2006
  8c34315

Commits on May 15, 2006

• Updated -help output to include line for option -n.

  lindig

  committedMay 15, 2006
  bef9f18

• Vim code now uses -n option for smoother output in status line.

  lindig

  committedMay 15, 2006
  11ab61f

• Added new option -n to suppress newline at the end of an annotation.

  lindig

  committedMay 15, 2006
  27c0e71

• Refactored: moved source code into src/. The central data structure is

  lindig

  committedMay 15, 2006
  333aa32

• Traget clobber now removes configure result.

  lindig

  committedMay 15, 2006
  b1b0c0c

• Module that defines our notion of a source file position.

  lindig

  committedMay 15, 2006
  bc7e4dd

• Refactored project; the central data structure is invervalmap, which is

  lindig

  committedMay 15, 2006
  392c348

Commits on May 10, 2006

• Initial import of sources.

  lindig

  committedMay 10, 2006
  0c2ab98

• setup of initial directory structure

  lindig

  committedMay 10, 2006
  e584ee3