Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
SublimeREPL/config/ClaferIG
Release 0.4.2.1
November 3, 2015 17:37
messages
Release 0.4.5
March 16, 2017 16:13
.no-sublime-package
improved installation instructions, added future work
October 16, 2014 09:45
Clafer.YAML-tmLanguage
Release 0.4.2
October 20, 2015 21:21
Clafer.sublime-build
fix the problem with double quotes in tool path
December 15, 2015 10:10
Clafer.tmLanguage
Release 0.4.2
October 20, 2015 21:21
Comments.tmPreferences
Added Comments.tmPreferences file to support ST built in toggle comme…
April 17, 2015 11:07
Default.sublime-keymap
Release 0.3.9
March 7, 2015 21:11
LICENSE
Release 0.4.5
March 16, 2017 16:13
README.md
modify Linux workaround
June 17, 2017 00:37
messages.json
switch the message to markdown
October 16, 2014 10:48