[elpa] externals/eev updated (5f5e6cfbd2 -> 8e242228e9)

[ELPA Syncer]

elpasync pushed a change to branch externals/eev.

      from  5f5e6cfbd2 Lots of changes - mostly on the material for Lean4.
       new  614bf1cb24 Small changes in (find-windows-beginner-intro).
       new  8e242228e9 Bumped the version in eev.el.


Summary of changes:
 ChangeLog    |  7 +++++++
 VERSION      |  4 ++--
 eev-intro.el | 13 ++++++++++---
 eev.el       |  2 +-
 4 files changed, 20 insertions(+), 6 deletions(-)