isabelle: File revisions

Admin/user-aliases

2015-06-10	wenzelm	more user aliases;	file \| diff \| annotate
2015-03-08	wenzelm	clarified aliases;	file \| diff \| annotate
2014-08-04	wenzelm	more user aliases;	file \| diff \| annotate
2014-01-25	wenzelm	more user aliases;	file \| diff \| annotate
2012-07-14	wenzelm	more user aliases;	file \| diff \| annotate
2012-04-16	wenzelm	more user aliases;	file \| diff \| annotate
2011-09-24	wenzelm	more user aliases;	file \| diff \| annotate
2010-10-29	haftmann	added user aliasses (still unclear how to specify names with whitespace contained)	file \| diff \| annotate
2009-12-16	haftmann	spaces not allowed, unfortunately	file \| diff \| annotate
2009-12-16	haftmann	user aliasses	file \| diff \| annotate
2009-09-29	wenzelm	aliases for Thomas Sewell;	file \| diff \| annotate
2009-03-12	wenzelm	more user aliases;	file \| diff \| annotate
2009-01-19	haftmann	lcp = paulson	file \| diff \| annotate
2009-01-18	haftmann	corrected user aliases	file \| diff \| annotate
2009-01-18	haftmann	added churn script	file \| diff \| annotate

isabelle