Definition: Difference between revisions

Latest revision as of 04:27, 8 June 2023

Redirect to:

Revision as of 21:14, 20 February 2006 (view source) Wolfgang Jeltsch (talk \| contribs) (Definition moved to Language and library specification: title renaming)		Latest revision as of 04:27, 8 June 2023 (view source) Atravers (talk \| contribs) mNo edit summary
Line 1:		Line 1:
	#redirect [[Language and library specification]]		#redirect [[Language and library specification]]

			[[Category: Pages to be removed]]