Index of /TeXmacs/dev/nightly/20250717

	Name	Last modified	Size	Description
	Parent Directory		-
	TeXmacs-2.1.4-os14.0..>	2025-07-17 17:28	79M
	TeXmacs-2.1.4-os11.0..>	2025-07-17 15:48	85M
	TeXmacs-2.1.4-os11.0..>	2025-07-17 15:48	83M