9 Commits

Author	SHA1	Message	Date
Dmitri Gribenko	f0d294b714	Merge pull request #884 from practicalswift/apostrophes ... [gardening] Replace left/right quotation marks	2016-01-11 20:41:24 -08:00
practicalswift	6c8c9bfbc9	Consistently use normal quotes ("…") instead of curly quotes (“…”).	2016-01-06 21:38:32 +01:00
practicalswift	4d43f4a32c	Replace left/right quotation marks	2016-01-06 12:41:08 +01:00
Stephen Canon	d502094568	Merge pull request #387 from vicky002/master ... removed duplications	2015-12-10 09:13:05 -05:00
Steven Maude	74572b96ca	Fix typos in OptimizerDesign.md	2015-12-10 13:42:54 +00:00
vicky002	cb1e4edf2b	removed duplications	2015-12-10 09:45:00 +05:30
Nadav Rotem	872dc69d58	Document the motivation and use of delete notifications.	2015-12-04 07:37:12 -08:00
Nadav Rotem	b7a4a74ee7	[DOCS] Change "verified" to "type-checked". ... As suggested by @gribozavr.	2015-12-01 09:35:07 -08:00
Nadav Rotem	99f40eee0e	Translate the optimizer design document from RST to Markdown.	2015-11-30 23:10:37 -08:00