elpasync pushed a change to branch externals/eev.
from 919129f5e4 Mention (find-dot-emacs-links) in more places.
new 1379ca71a9 Added (find-newbrowser2-links).
new b63a528a8a Small changes in (find-lean4-intro).Summary of changes: ChangeLog | 17 ++++++++++++ VERSION | 4 +-- eev-intro.el | 85 +++++++++++++++++++++++++++++++++++++++++------------------ eev-tlinks.el | 64 +++++++++++++++++++++++++++++++++++++++++++- 4 files changed, 141 insertions(+), 29 deletions(-)
