Mercurial
Mercurial
>
dot-emacs
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
zip
|
gz
|
bz2
|
help
less
more
|
(0)
-300
-100
-15
+15
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
merged
2012-06-06, by Oleksandr Gavenko
Disable shown consts in *goal* buffer.
2012-06-06, by Oleksandr Gavenko
Add info to remember.
2012-06-06, by Oleksandr Gavenko
Define key binding to send paragraph to SML process.
2012-06-02, by Oleksandr Gavenko
Define key binding 'proof-goto-point' for .thy file.
2012-06-01, by Oleksandr Gavenko
Set isar-display:show-types and isar-display:show-brackets.
2012-05-12, by Oleksandr Gavenko
Add Proof General settings.
2012-05-09, by Oleksandr Gavenko
Do not mark directories as temp files.
2012-04-06, by Oleksandr Gavenko
Comment customising of 'enable-recursive-minibuffers' (use for example purpose).
2012-02-28, by Oleksandr Gavenko
Set enable-recursive-minibuffers to t.
2012-02-28, by Oleksandr Gavenko
Add 'texinfo-mode' to 'my-devel-mode-list' for TODO highlighting.
2012-02-27, by Oleksandr Gavenko
Prevent from closing 'NOTE.org' buffer.
2012-02-27, by Oleksandr Gavenko
Load 'pymacs' and 'ropemacs' automatically.
2012-02-26, by Oleksandr Gavenko
Add sign for euro and hryvnia.
2012-02-20, by Oleksandr Gavenko
Fix "isearch-no-upper-case-p: Wrong type argument: stringp, nil" from gnus.
2012-02-20, by Oleksandr Gavenko
less
more
|
(0)
-300
-100
-15
+15
+100
+300
tip