id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc	blockedby	blocking	due_close	include_gantt	dependencies	due_assign
1609	Dealing with implicit knowledge in documents	ako	kohlhase	"In my document collection the term ""laserscanner"" is used a lot and I want to formalize its occurrences. The definition of a laserscanner is not explicitly given anywhere in the collection, so I have no definition to reference. 

The problem of referencing implicit knowledge appears quite frequently. Therefore, I like an option ""display=none"" when creating a definition: one that is invisible in the generated pdf but visible in the generated OMDoc."	enhancement	assigned	normal		STeX/ltxml	trunk	major			deyan			YYYY/MM/DD	0		YYYY/MM/DD