Tags

Tags give the ability to mark specific points in history as being important

v1.1.7 protected

d9d40418 · Fix highlighting · Nov 01, 2024
v1.1.6 protected

ace5953b · Update readme · Jan 17, 2023
v1.1.5 protected

7dca6d72 · Enhance comments · Jan 07, 2019
v1.1.4 protected

ab592a75 · Improve word handling · Jan 07, 2019
v1.1.3 protected

2bbd1347 · Maintenance · Oct 09, 2018
v1.1.2 protected

01ea83db · Add comment · Jul 23, 2018
v1.1.1 protected

e37f5b52 · Simplify implementation now that elements of int-list are no longer quoted · Jul 22, 2018
v1.1.0 protected

534b8345 · Adapt to 'big-breaking-tidy-up' · Jul 19, 2018
v1.0.5 protected

da106aab · Cleanup · Jun 09, 2018
v1.0.4 protected

bae4ec1f · Fix #3 : Error when selection contains non-word character · Jun 09, 2018
v1.0.3 protected

fdac0b6b · Revise wording · Jun 03, 2018