Skip to content

Commit

Permalink
Licence in readme added
Browse files Browse the repository at this point in the history
  • Loading branch information
Marko Koleznik authored and Marko Koleznik committed Sep 12, 2015
1 parent b2d5d1f commit cc7ae27
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,10 @@ Works with OS X 10.9 (Mavericks) or later.
# Features
- Handy shortcuts for actions
- Customizable Unicode (Latex-like) input with autocompletion
- Same color pallete as in Emacs
- Same color palette as in Emacs
- Independent Buffer window, so you can always know what is going on
- ...
- Well, it's not Emacs :D

# License
agda-writer is Licensed under MIT License Agreement.

0 comments on commit cc7ae27

Please sign in to comment.