Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
doc
Release 0.5.0 (#94)
February 1, 2018 13:06
pres
bug fix: no default some for if-then-else operator
February 8, 2012 12:04
src-cmd
Release 0.4.5, updated copyright, LICENSE, fixed cabal version in travis
March 13, 2017 13:20
src
Release 0.5.0 (#94)
February 1, 2018 13:06
test
Release 0.5.0 (#94)
February 1, 2018 13:06
.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
Release 0.5.0 (#94)
February 1, 2018 13:06
CHANGES.md
Release 0.5.0 (#94)
February 1, 2018 13:06
LICENSE
Release 0.4.5, updated copyright, LICENSE, fixed cabal version in travis
March 13, 2017 13:20
Makefile
Release 0.5.0 (#94)
February 1, 2018 13:06
README.md
Release 0.5.0 (#94)
February 1, 2018 13:06
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.5.0 (#94)
February 1, 2018 13:06
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.5.0 (#94)
February 1, 2018 13:06