Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
doc
added identifiers to the cheat sheet + added links to resources to th…
October 2, 2015 13:42
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
0.4.2.1, LTS-3.10, fixed Haddock, added stack to README, fixed a test…
October 19, 2015 15:26
test
0.4.2.1, LTS-3.10, fixed Haddock, added stack to README, fixed a test…
October 19, 2015 15:26
.ghci
.ghci
October 6, 2014 19:13
.gitattributes
new version, automatic alloy4moo.jar download
September 12, 2012 19:26
.gitignore
move "tools" to ".", use stack instead of cabal, added .js and .dot v…
October 14, 2015 13:55
.travis.yml
fix travis configuration and restrict to aeson < 0.10.0.0
September 23, 2015 22:05
CHANGES.md
0.4.2.1, LTS-3.10, fixed Haddock, added stack to README, fixed a test…
October 19, 2015 15:26
LICENSE
added cabal file
February 16, 2012 13:30
Makefile
move "tools" to ".", use stack instead of cabal, added .js and .dot v…
October 14, 2015 13:55
README.md
0.4.2.1, LTS-3.10, fixed Haddock, added stack to README, fixed a test…
October 19, 2015 15:26
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
0.4.2.1, LTS-3.10, fixed Haddock, added stack to README, fixed a test…
October 19, 2015 15:26
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
0.4.2.1, LTS-3.10, fixed Haddock, added stack to README, fixed a test…
October 19, 2015 15:26