pistillphil/flylatex — pull request #1 by lacksfish (2014-01-01 19:14:16+00:00)
Title: Document history view included

* Created history view, listing all changes ever commited to document,
sorted by time of commit
* git-tools function to get all commits
* Added "Document History" button to Document View
* Included needed package "async"
* Scrolling to selected commit in commit history view (further
improvement planed)