History for tag 00GM—The Stacks project

History of tag 00GM

type	time	link
assigned tag 00GM	2009-05-16	fad2e12
Started tags infrastructure new file: scripts/add_tags.py modified: scripts/functions.py new file: tags/initial_tags new file: tags/tags
changed the statement	2009-04-10	713944e
More neurotic changes
changed the statement and the proof	2008-09-24	ab36912
Small fixes modified: algebra.tex
created statement with label lemma-characterize-integral in algebra.tex	2008-06-17	cbb8b73
modified: algebra.tex