id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1723	Check uses-annotations before inst	Martin Sjölund	Martin Sjölund	"The following should either automatically load Modelica if not available, or produce an error. Possibly changed behaviour with a flag.
{{{model M
  extends Modelica.Icons.Function;
  annotation(uses(Modelica(version=""3.1"")));
end M;}}}"	defect	closed	high				fixed		Martin Sjölund