Edit history for page: eggref/6/crunch

revision	author	date	description	r1	r2
44008	felix	Fri Dec 20 09:25:00 2024	update crunch page
43998	felix	Tue Dec 17 17:59:00 2024	crunch page: fix examples
43987	felix	Sat Dec 14 17:48:00 2024	updated crunch page
43964	felix	Tue Dec 10 19:21:00 2024	updated crunch page
43960	felix	Mon Dec 9 17:03:00 2024	updated crunch page
43957	felix	Thu Dec 5 09:38:00 2024	fix formatting
43956	felix	Thu Dec 5 09:29:00 2024	update crunch page
43945	felix	Sat Nov 30 10:22:00 2024	note motiviation and advantages
43943	mario	Fri Nov 29 23:08:00 2024	crunch: fix unbalanced paren and missing ! in #!optional
43942	felix	Fri Nov 29 22:54:00 2024	fix command-line example
43928	felix	Wed Nov 27 18:18:00 2024	explain name-mangling
43925	felix	Wed Nov 27 12:54:00 2024	typos, highlighting
43921	felix	Tue Nov 26 21:48:00 2024	fix source links
43906	felix	Sat Nov 16 16:32:00 2024	crunch manual