Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Jul 16, 2009
  1. Added annotations for line numbers

    eb authored
    Ignore-this: bff7078430406638c770d5f5fc3aa49
    
    darcs-hash:20090716135417-228f4-5dd2fc54743b368249d0080ce7c229ed2800be09.gz
Commits on Mar 12, 2008
  1. gwern

    fix style problems in iver-mode.el - clean bytecompile

    gwern authored
    darcs-hash:20080312034143-f7719-acd53dc8475ebc403d2db18f66e3805cd0a6c2e7.gz
Commits on Aug 14, 2007
  1. Added 'isItJust' to Ivor.Construction

    eb authored
    Also 'decide' tactic to shell (which just runs 'isItJust')
    
    darcs-hash:20070814140134-974a0-dd4bad5d9a4b550789e1a5c7bd5b690c7e5b4b25.gz
Commits on Aug 6, 2007
  1. Can now extend the shell with top level commands

    eb authored
    Also can be added via plugins
    
    darcs-hash:20070806113629-974a0-fb29d1efa310e464c496dc9ae55b9f0df7f501e7.gz
Commits on Apr 17, 2007
  1. Configuring shell separator in emacs mode

    eb authored
    darcs-hash:20070417193542-974a0-1462dda6ad24027fe49676dcd1eb3c033a7c0721.gz
  2. Allow emacs mode to set the shell executable (default jones)

    eb authored
    darcs-hash:20070417110841-974a0-40607892797625051ab4ab712a1c3158af8b23f0.gz
Commits on Dec 14, 2006
  1. Added 'exists' tactic

    eb authored
    darcs-hash:20061214123653-974a0-a9eb84f6db9ad74b2e686fb4ca68a76dabb5fa11.gz
Commits on Oct 30, 2006
  1. Added 'where' keyword in Data declarations

    eb authored
    darcs-hash:20061030034738-974a0-52646211ff054276eca10cf823c3472cbf240929.gz
Commits on May 11, 2006
  1. Initial version

    eb authored
    darcs-hash:20060511212743-974a0-26d9fe43f604ab577c7688ed8a0e44d960db6a03.gz
Something went wrong with that request. Please try again.