User contributions
From The Twelf Project
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 21:00, 13 January 2012 (diff | hist) Research projects using Twelf (oh the spamz) (top)
- 20:59, 13 January 2012 (diff | hist) m Research projects using Twelf (Reverted edits by OpheliaFuller (talk) to last revision by LenoraMcdonald)
- 18:32, 13 January 2012 (diff | hist) m Focusing (top)
- 18:31, 13 January 2012 (diff | hist) Focusing
- 18:19, 13 January 2012 (diff | hist) Focusing (Updated version of argument)
- 10:31, 8 January 2012 (diff | hist) m Coverage checking (Reverted edits by User 6a58815ca3b629c (talk) to last revision by Rsimmons) (top)
- 16:14, 13 December 2011 (diff | hist) m User:Boyland (Reverted edits by TermPaperServices (talk) to last revision by Rsimmons) (top)
- 20:35, 26 September 2011 (diff | hist) Focusing (Fix remaning unplesentness about positive atoms in context.)
- 18:53, 26 September 2011 (diff | hist) Focusing (Push everything to the very final "actually focalize things" phase)
- 15:31, 26 September 2011 (diff | hist) m Focusing
- 15:29, 26 September 2011 (diff | hist) m Focusing
- 15:27, 26 September 2011 (diff | hist) m Focusing
- 15:25, 26 September 2011 (diff | hist) m Focusing
- 15:23, 26 September 2011 (diff | hist) Focusing (fix all the borkenness)
- 15:07, 25 September 2011 (diff | hist) Focusing (partial fixes)
- 13:59, 25 September 2011 (diff | hist) Focusing (checking in a broken version for the purpose of having something to look at)
- 15:10, 23 September 2011 (diff | hist) m Focusing
- 15:08, 23 September 2011 (diff | hist) m Focusing
- 15:05, 23 September 2011 (diff | hist) Focusing (update relative to paper-revision code)
- 08:51, 21 September 2011 (diff | hist) m Research projects using Twelf (Reverted edits by Harmon (talk) to last revision by Frabe)
- 08:51, 21 September 2011 (diff | hist) m %mode (Reverted edits by Harmon (talk) to last revision by Rsimmons) (top)
- 11:52, 20 September 2011 (diff | hist) Focusing (complete completeness)
- 21:41, 19 September 2011 (diff | hist) Focusing (more fix links good)
- 21:40, 19 September 2011 (diff | hist) Focusing (fix links more)
- 21:40, 19 September 2011 (diff | hist) Focusing (fix links)
- 21:39, 19 September 2011 (diff | hist) Focusing (unbreak everything)
- 21:38, 19 September 2011 (diff | hist) Focusing (add soundness)
- 17:26, 19 September 2011 (diff | hist) Focusing (More overall proof.)
- 19:13, 17 September 2011 (diff | hist) Focusing (Overwrite old version; this one is much better.)
- 08:55, 13 September 2011 (diff | hist) What's new (archive a bunch) (top)
- 08:51, 13 September 2011 (diff | hist) What's new
- 11:13, 2 September 2011 (diff | hist) What's new
- 11:12, 2 September 2011 (diff | hist) What's new (Oh, right, we have done something in the past year: news about 1.7.1.)
- 01:45, 26 August 2011 (diff | hist) m Documentation (Reverted edits by 116.71.14.29 (talk) to last revision by 24.63.135.15) (top)
- 20:33, 24 August 2011 (diff | hist) Talk:Ask Twelf Elf (→Twelf 1.7.1 ?) (top)
- 08:24, 16 August 2011 (diff | hist) m Talk:Documentation (Reverted edits by Ssuu (talk) to last revision by Drl) (top)
- 08:24, 16 August 2011 (diff | hist) m Talk:Download (Reverted edits by Ssuu (talk) to last revision by Rsimmons) (top)
- 08:24, 16 August 2011 (diff | hist) m Talk:Main Page (Reverted edits by Ssuu (talk) to last revision by Drl) (top)
- 11:59, 16 July 2011 (diff | hist) N User talk:Alepa (challenge (/response?)) (top)
- 07:42, 16 June 2011 (diff | hist) m User:Boyland (Reverted edits by 119.155.18.244 (talk) to last revision by Rsimmons)
- 10:24, 20 May 2011 (diff | hist) m User talk:Drl (Reverted edits by Hua220 (talk) to last revision by Drl) (top)
- 10:23, 20 May 2011 (diff | hist) m User talk:Twilson (Reverted edits by Hua220 (talk) to last revision by Rsimmons) (top)
- 10:23, 20 May 2011 (diff | hist) m User talk:Tom7 (Reverted edits by Hua220 (talk) to last revision by Tom7) (top)
- 08:07, 25 March 2011 (diff | hist) Release history (→Twelf 1.7.1 (Mar 19, 2011)) (top)
- 09:07, 19 March 2011 (diff | hist) %block (add bit about block definitions) (top)
- 08:49, 19 March 2011 (diff | hist) Release history (1.7.1)
- 08:47, 19 March 2011 (diff | hist) Download (Release 1.7.1) (top)
- 18:09, 5 March 2011 (diff | hist) Bracket abstraction (one one line for links) (top)
- 21:51, 2 March 2011 (diff | hist) Release history
- 19:05, 2 March 2011 (diff | hist) m Download (neat freak)
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
