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
moved the wiki to top-level to use GitHub's repository
May 4, 2012 16:45
.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.2.1, added stack instructions to README
October 20, 2015 13:21
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.2.1, added stack instructions to README
October 20, 2015 13:21
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.2.1, added stack instructions to README
October 20, 2015 13:21
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.2.1, added stack instructions to README
October 20, 2015 13:21
claferwiki.sh
Release 0.4.2.1, added stack instructions to README
October 20, 2015 13:21
gitit-users
simplified cleanup, new version, license, claferwiki.cabal
March 22, 2013 21:52
gitit.cnf
readme/config
July 24, 2015 22:16
highlighted-clafer-example-telematics.html
moved the wiki to top-level to use GitHub's repository
May 4, 2012 16:45
plugin.page
Updated using the plugin
August 23, 2012 09:44
sandbox.page
hierarchy
January 21, 2013 22:56
stack.yaml
Release 0.4.2.1, added stack instructions to README
October 20, 2015 13:21
telematics-elements.jpg
added images
June 29, 2012 16:04
telematics-mapping.jpg
added images
June 29, 2012 16:04