felix.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2026-01-23	Add directness annotation to TPTP output	adelon
2026-01-20	Fix `syntacticMatch` issue with complex terms	adelon
2026-01-09	Improve errors for `fix` steps and unknown markers	adelon
2026-01-07	Fix error message for duplicate markers	adelon
2026-01-06	Use `equivalent` for term comparison	adelon
2026-01-06	Quick work-around for term equality in assumption	adelon
2025-12-17	Fix `filterTask`, make var names more consistent	adelon
2025-12-16	Add location info to implicit QED step	adelon
2025-12-14	Add more location info in tasks	adelon
2025-12-14	Add location info to conjecture	adelon
2025-12-10	Propagate Location to CheckingError	adelon
2025-12-09	Propagate location info further	adelon
2025-12-09	Gather some location info from parser	adelon
2025-12-08	Pass through markers with `throwWithMarker`	adelon
2025-12-04	Remove Iota from internal syntax	adelon
2025-07-16	Add quantified calcs and relax tokenization	adelon
2024-09-18	working commit	Simon-Kor
2024-09-03	Hot fix	Simon-Kor
2024-08-27	Feature Complete	Simon-Kor
2024-08-27	ambigus parse fix. The proof goal must be changed,	Simon-Kor
2024-08-27	Experimental working commit, programm will compile	Simon-Kor
2024-08-26	Implemented the checking for local functions.	Simon-Kor
2024-02-10	Initial commit	adelon