You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

MinRK d1a36fe4c0 use 'id' for checkpoint ID key ... rather than redundant checkpoint.checkpoint_id		12 years ago
..
css	mv IPython.html.notebook -> IPython.html	13 years ago
js	use 'id' for checkpoint ID key	12 years ago
less	Fixing comments on equation justification.	12 years ago