Support #1430
HTML manual: search using keywords?
Start date:
02 Mar 2020
Due date:
% Done:
0%
Estimated time:
Description
The CoCoA online manual can be searched using keywords; is it possible (or desirable) to do this also for the HTML version?
History
#1 Updated by John Abbott over 2 years ago
- Target version changed from CoCoA-5.4.0 to CoCoA-5.4.2