elpasync pushed a change to branch externals/eev.
from 7037317e4c Added `find-clprin2'.
new c13cc8cda9 New video ("2025modern") and some changes for Maxima.
new 0365f9a21b Bumped the version in eev.el (for ELPA).
Summary of changes:
ChangeLog | 35 ++++++++++++++++++++++++++++++++++
VERSION | 4 ++--
eev-elinks.el | 2 +-
eev-intro.el | 39 ++++++++++++++++++++++++++------------
eev-lean4.el | 6 +++++-
eev-plinks.el | 7 ++++---
eev-testblocks.el | 7 +++++--
eev-tlinks.el | 12 +++++++++---
eev-videolinks.el | 56 ++++++++++++++++++++++++++++++++++++++-----------------
eev.el | 4 ++--
10 files changed, 129 insertions(+), 43 deletions(-)
