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 handling paths in validation
December 14, 2015 22:50
test
removed Python mode
December 8, 2015 11:11
.ghci
.ghci
October 6, 2014 19:13
.gitattributes
new version, automatic alloy4moo.jar download
September 12, 2012 19:26
.gitignore
replaced remaining "claferchocoig.jar" to "chocosolver.jar"
November 26, 2015 14:14
.travis.yml
fix travis configuration and restrict to aeson < 0.10.0.0
September 23, 2015 22:05
CHANGES.md
release 0.3.4
December 22, 2015 12:34
LICENSE
added cabal file
February 16, 2012 13:30
Makefile
removed Python mode
December 8, 2015 11:11
README.md
release 0.3.4
December 22, 2015 12:34
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
release 0.3.4
December 22, 2015 12:34
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
release 0.3.4
December 22, 2015 12:34