tchajed/atom-rooster
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Coq atom package
11 commits 1 branch 0 tags 41 KiB
  • CoffeeScript 96.9%
  • Less 3.1%
Find a file
Exact
Tej Chajed 7b2bf5786b Simple example of adding to the status bar
2015-08-06 21:43:39 -04:00
keymaps Implement command to move cursor by one sentence 2015-08-04 20:40:09 -04:00
lib Simple example of adding to the status bar 2015-08-06 21:43:39 -04:00
menus Add debugging command to highlight all sentences 2015-08-04 21:49:14 -04:00
spec Handle structures within comments 2015-08-05 22:16:22 -04:00
styles Lighten sentence background highlights 2015-08-05 08:35:06 -04:00
.gitignore Initial boilerplate package 2015-08-03 13:18:21 -04:00
CHANGELOG.md Initial boilerplate package 2015-08-03 13:18:21 -04:00
LICENSE.md Initial boilerplate package 2015-08-03 13:18:21 -04:00
package.json Simple example of adding to the status bar 2015-08-06 21:43:39 -04:00
README.md Add basic Coq document management 2015-08-03 14:35:43 -04:00

README.md

atom-rooster package

Atom rooster is an interface to the Coq proof assistant that aims to replace CoqIDE.

A screenshot of your package