Permalink
Commits on Dec 15, 2014
Commits on Jul 9, 2012
  1. Bump version number.

    committed Jul 9, 2012
  2. Major rewrite:

    * Foreign.Maude is now Language.Maude.Exec.
    
    * This package now reads results from Maude's XML log, which is far less
      error-prone than parsing Maude's standard output.
    
    * The 'Term' type provides a representation of Maude terms in Haskell.
    
    * Improve error reporting.
    
    * Add support for the 'erewrite' command.
    
    * Bump to version 0.6.0 to indicate major change.
    committed Jul 9, 2012
Commits on Jan 3, 2012
Commits on Jan 2, 2012
  1. Bump version number.

    committed Jan 2, 2012
  2. Further improve formatting.

    committed Jan 2, 2012
  3. Add a README.

    committed Jan 2, 2012
Commits on Dec 14, 2011
  1. Move source code into the src directory.

    --HG--
    rename : Foreign/Maude.hs => src/Foreign/Maude.hs
    committed Dec 14, 2011
Commits on Nov 17, 2011
Commits on Oct 21, 2011
Commits on Oct 19, 2011
  1. Bump version number.

    committed Oct 19, 2011
Commits on Sep 21, 2011
  1. Bump version number.

    committed Sep 21, 2011
Commits on Sep 20, 2011
  1. Bump version number.

    committed Sep 20, 2011
Commits on May 19, 2011
  1. Bump version number.

    committed May 19, 2011
Commits on May 12, 2011
  1. Change Portability status.

    committed May 12, 2011