Failed to load latest commit information.

Type

Name

Latest commit message

Commit time

lib

Release 0.4.2.1, lts-3.10, added stack instructions to README

October 20, 2015 11:27

src-cmd

works with 0.3.11 develop/typeSystem/namedRefs

July 23, 2015 15:44

src

removed 'tools/' prefix from manifest

October 16, 2015 21:56

test

fixed test cases

July 24, 2015 20:45

.gitattributes

aligned with new version of clafer 0.3.0.1 (hotfix)

September 12, 2012 20:29

.gitignore

Release 0.4.2.1, lts-3.10, added stack instructions to README

October 20, 2015 11:27

CHANGES.md

Release 0.4.2.1, lts-3.10, added stack instructions to README

October 20, 2015 11:27

LICENSE

Changed the build system to use cabal

February 14, 2012 22:38

Makefile

moved tools to ., added stack.yaml

October 16, 2015 18:34

README.md

Release 0.4.2.1, lts-3.10, added stack instructions to README

October 20, 2015 11:27

Setup.lhs

prep for Hackage

January 23, 2014 23:04

alloyIG.jar

removed 'tools/' prefix from manifest

October 16, 2015 21:56

claferIG.cabal

Release 0.4.2.1, lts-3.10, added stack instructions to README

October 20, 2015 11:27

stack.yaml

Release 0.4.2.1, lts-3.10, added stack instructions to README

October 20, 2015 11:27