Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
doc
updated compatibility matrix and .PHONY targets in Makefile
November 27, 2015 22:13
pres
bug fix: no default some for if-then-else operator
February 8, 2012 12:04
src-cmd
move "tools" to ".", use stack instead of cabal, added .js and .dot v…
October 14, 2015 13:55
src
fixed issue #57 for choco generator
June 23, 2016 21:26
test
added test case for issue #86
June 23, 2016 21:41
.ghci
ghc 8.0.1 support, bump version to 0.4.4
June 23, 2016 14:53
.gitattributes
new version, automatic alloy4moo.jar download
September 12, 2012 19:26
.gitignore
ghc 8.0.1 support, bump version to 0.4.4
June 23, 2016 14:53
.travis.yml
only support 7.10.3 and up
June 23, 2016 15:48
CHANGES.md
only support 7.10.3 and up
June 23, 2016 15:48
LICENSE
added cabal file
February 16, 2012 13:30
Makefile
ghc 8.0.1 support, bump version to 0.4.4
June 23, 2016 14:53
README.md
only support 7.10.3 and up
June 23, 2016 15:48
Setup.lhs
added Setup.lhs for cabal
February 16, 2012 14:32
clafer-mode.el
added dref and backwards-compatibility for ref and &. Fixed HTML …
August 20, 2015 23:35
clafer.cabal
only support 7.10.3 and up
June 23, 2016 15:48
ecore2clafer.jar
move "tools" to ".", use stack instead of cabal, added .js and .dot v…
October 14, 2015 13:55
logo.pdf
updated presentation
February 6, 2012 20:17
logo.png
360dpi png of the logo
August 25, 2013 22:06
logo.svg
360dpi png of the logo
August 25, 2013 22:06
stack.yaml
upgrade to LTS-7.0
September 18, 2016 21:56