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	1.9.0	Frontend		fixed		Martin Sjölund