1 Commits

Include renames

Author	SHA1	Message	Date
isabelleandClaude Sonnet 5	695ec9e09c	Restore IMPROVEMENTS.txt, gitignore vendor/ ... IMPROVEMENTS.txt was accidentally deleted. Also untrack vendor/ (composer- managed dependency) to match the convention used by sibling modules under Modules_Isabelle. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>	2026-09-11 16:14:44 +02:00