User contributions

From The Twelf Project

Search for contributions

 Show contributions of new accounts only
 IP address or username: Namespace: all (Main) Talk User User talk The Twelf Project The Twelf Project talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Elves Elves talk Proving metatheorems Proving metatheorems talk

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

• 00:49, 23 November 2006 (diff | hist) N Error messages ‎ (added some error messages)
• 00:43, 23 November 2006 (diff | hist) The Twelf Project:To do ‎ (moved "understanding errors" to active items)
• 10:03, 22 November 2006 (diff | hist) Glossary ‎ (→Keywords: added EOF keyword)
• 14:14, 17 November 2006 (diff | hist) The Twelf Project:To do ‎ (→Wish-list items)
• 14:19, 26 October 2006 (diff | hist) N User:Spoons ‎
• 12:33, 26 October 2006 (diff | hist) m The Twelf Project:To do ‎ (→Wish-list items)
• 20:58, 17 October 2006 (diff | hist) m User talk:Spoons ‎
• 12:26, 11 October 2006 (diff | hist) m CPS conversion ‎ (typo in last line (in ofv judgment))