History for tag 08K1—The Stacks project

History of tag 08K1

type	time	link
assigned tag 08K1	2013-02-04	d7ca582
Tags: Added new tags Also fixed two references
changed the proof	2013-02-04	d7ca582
Tags: Added new tags Also fixed two references
created statement with label lemma-eventually-proper in spaces-limits.tex	2013-01-31	2347f73
Limit arguments to soup oup the Hom(F, G) result