Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
spec
Release 0.4.2, added stack.yaml, removed old mockups
October 16, 2015 18:46
src/Network/Gitit/Plugin
remove tab/fix warning about redundant Applicative import
April 24, 2015 20:47
static
claferwiki-0.3.3 package now works with gitit
August 1, 2013 16:43
templates
Release 0.4.4
June 23, 2016 16:00
.gitattributes
normalize line endings
September 11, 2012 09:52
.gitignore
Release 0.4.2, added stack.yaml, removed old mockups
October 16, 2015 18:46
CHANGES.md
Release 0.4.4
June 23, 2016 16:00
Compile Error Reporting Test.page
clafer block
August 26, 2012 22:46
Front Page.page
added test page
July 24, 2013 08:26
LICENSE
added MIT license file
July 17, 2013 14:12
Makefile
Release 0.4.3
December 22, 2015 13:48
Merchandise Financial Planning.page
added download link for model
July 26, 2013 14:41
Name Resolution Bug.html
Fixed filepath for CSS stylesheet
July 3, 2012 08:52
Parse Error Reporting Test.page
resolved conflicts on claferwiki.cabal, ClaferCompiler.hs, and Clafer…
August 1, 2013 16:16
README.md
Release 0.4.4
June 23, 2016 16:00
Setup.lhs
prep for Hackage
January 23, 2014 23:03
Telematics Architecture.jpg
added images
June 29, 2012 16:04
Telematics Example.page
real graph
October 30, 2012 13:28
Test.page
edited
July 24, 2013 08:30
claferwiki.cabal
Release 0.4.4
June 23, 2016 16:00
claferwiki.sh
Release 0.4.4
June 23, 2016 16:00
gitit-users
Release 0.4.3
December 22, 2015 13:48
gitit.cnf
readme/config
July 24, 2015 22:16
plugin.page
Updated using the plugin
August 23, 2012 09:44
sandbox.page
hierarchy
January 21, 2013 22:56
stack.yaml
moved to LTS-7.0
September 19, 2016 10:05
telematics-elements.jpg
added images
June 29, 2012 16:04
telematics-mapping.jpg
added images
June 29, 2012 16:04