History of doc @6c1c1e21-0dba-4057-be2c-705b18fb6617/main
- UTF8 generator Motiejus Jakštys 10 years ago
- Update copyright year Kostis Sagonas 11 years ago
- Minor change in documentation Manolis Papadakis 12 years ago
- Complete EDoc docs, fix bug in make_doc, remove pure_check from API Manolis Papadakis 12 years ago
- Remove e-mail addresses from EDoc output Manolis Papadakis 12 years ago
- Better handling of non-deterministic properties Manolis Papadakis 13 years ago
- Fix copyright notices Manolis Papadakis 13 years ago
- restructured project tree, updated relevant files Manolis Papadakis 13 years ago
- added types, minor refactoring, added rudimentary README instructions Manolis Papadakis 13 years ago
- created the empty directories Manolis Papadakis 13 years ago