isabelle: Summary

2 hours ago	haftmann	2013-05-24	bookkeeping and input syntax for exact specification of names of symbols in generated code default tip	changeset \| files
2 hours ago	haftmann	2013-05-24	use generic data for code symbols for unified "code_printing" syntax for custom serialisations	changeset \| files
2 hours ago	haftmann	2013-05-24	dedicated module for code symbol data	changeset \| files
2 hours ago	haftmann	2013-05-24	symbol data covers class relations also	changeset \| files
4 hours ago	wenzelm	2013-05-24	merged	changeset \| files
9 hours ago	wenzelm	2013-05-24	proper internal error, not user error;	changeset \| files
9 hours ago	wenzelm	2013-05-24	tuned;	changeset \| files
9 hours ago	wenzelm	2013-05-24	tuned signature;	changeset \| files
9 hours ago	wenzelm	2013-05-24	tuned;	changeset \| files
10 hours ago	wenzelm	2013-05-24	unify types of bound variables in the same manner as Unify.new_dpair (which emphatically "Tries to unify types of the bound variables!");	changeset \| files
...

2 hours ago	e21426f244aa	default	changeset \| changelog \| files
...

isabelle