Single View Design: Revision history

26 March 2010

• curprev 18:3518:35, 26 March 2010‎ imported>Jrloria‎ 5,552 bytes +51‎ →‎Statistics
• curprev 18:3118:31, 26 March 2010‎ imported>Jrloria‎ 5,501 bytes −5‎ No edit summary
• curprev 18:2918:29, 26 March 2010‎ imported>Jrloria‎ 5,506 bytes −3,937‎ →‎Developer guide: moved to Extending Single View Design

19 May 2009

• curprev 09:3909:39, 19 May 2009‎ imported>Nicolas‎ m 9,443 bytes +10‎ →‎Content: Terminology change: theorem -> derived invariant

14 May 2009

• curprev 12:2412:24, 14 May 2009‎ imported>Nicolas‎ m 9,433 bytes −16‎ →‎Content: No more theorems in view customization, subsequently to "Theorems everywhere".

31 March 2009

• curprev 11:5511:55, 31 March 2009‎ imported>Mathieu‎ m 9,449 bytes 0‎ CVS -> SVN

4 March 2009

• curprev 09:2609:26, 4 March 2009‎ imported>Mathieu‎ m 9,449 bytes +59‎ Category:User documentation Category:Developer documentation Category:Design

29 January 2009

• curprev 13:1713:17, 29 January 2009‎ imported>Laurent‎ m 9,390 bytes 0‎ →‎Content
• curprev 13:1613:16, 29 January 2009‎ imported>Laurent‎ m 9,390 bytes +1‎ →‎Specification
• curprev 13:1213:12, 29 January 2009‎ imported>Laurent‎ m 9,389 bytes +159‎ →‎Purpose
• curprev 13:0813:08, 29 January 2009‎ imported>Laurent‎ 9,230 bytes +1,091‎ →‎Purpose: Expanded

27 November 2008

• curprev 14:3014:30, 27 November 2008‎ imported>Maria‎ 8,139 bytes +281‎ →‎Extending Single View Design
• curprev 14:1414:14, 27 November 2008‎ imported>Maria‎ 7,858 bytes −573‎ →‎Extending Single View Design
• curprev 14:1314:13, 27 November 2008‎ imported>Maria‎ 8,431 bytes +1‎ →‎Statistics
• curprev 14:1314:13, 27 November 2008‎ imported>Maria‎ 8,430 bytes −5‎ →‎Filters
• curprev 14:1214:12, 27 November 2008‎ imported>Maria‎ 8,435 bytes −29‎ →‎Specification
• curprev 14:1114:11, 27 November 2008‎ imported>Maria‎ 8,464 bytes −235‎ No edit summary

28 October 2008

• curprev 10:3610:36, 28 October 2008‎ imported>Maria‎ 8,699 bytes +2‎ →‎Adding a content provider to the navigator

15 October 2008

• curprev 15:4215:42, 15 October 2008‎ imported>Maria‎ 8,697 bytes −2‎ No edit summary
• curprev 15:3915:39, 15 October 2008‎ imported>Maria‎ 8,699 bytes +852‎ →‎User guide
• curprev 15:3115:31, 15 October 2008‎ imported>Maria‎ 7,847 bytes +29‎ No edit summary
• curprev 15:2915:29, 15 October 2008‎ imported>Maria‎ 7,818 bytes +447‎ →‎Specification
• curprev 15:2315:23, 15 October 2008‎ imported>Maria‎ 7,371 bytes +10‎ →‎Developer guide
• curprev 15:0715:07, 15 October 2008‎ imported>Maria‎ 7,361 bytes +613‎ →‎Developer guide

6 October 2008

• curprev 15:5715:57, 6 October 2008‎ imported>Maria‎ 6,748 bytes +19‎ →‎Developer guide
• curprev 15:4115:41, 6 October 2008‎ imported>Maria‎ 6,729 bytes +917‎ →‎Extending Single View Design
• curprev 15:2915:29, 6 October 2008‎ imported>Maria‎ 5,812 bytes +63‎ No edit summary
• curprev 15:2115:21, 6 October 2008‎ imported>Maria‎ 5,749 bytes −1‎ →‎Developer guide
• curprev 15:1215:12, 6 October 2008‎ imported>Maria‎ 5,750 bytes +274‎ →‎Developer guide
• curprev 15:0415:04, 6 October 2008‎ imported>Maria‎ 5,476 bytes +439‎ →‎Developer guide
• curprev 14:5314:53, 6 October 2008‎ imported>Maria‎ 5,037 bytes −1‎ →‎Content
• curprev 14:5114:51, 6 October 2008‎ imported>Maria‎ 5,038 bytes +101‎ →‎Developer guide
• curprev 14:4814:48, 6 October 2008‎ imported>Maria‎ 4,937 bytes +506‎ →‎Extending Single View Design
• curprev 14:3114:31, 6 October 2008‎ imported>Maria‎ 4,431 bytes +765‎ No edit summary
• curprev 14:0814:08, 6 October 2008‎ imported>Maria‎ 3,666 bytes +92‎ No edit summary
• curprev 14:0414:04, 6 October 2008‎ imported>Maria‎ 3,574 bytes +458‎ No edit summary
• curprev 13:1213:12, 6 October 2008‎ imported>Maria‎ 3,116 bytes +166‎ No edit summary

3 October 2008

• curprev 09:2209:22, 3 October 2008‎ imported>Maria‎ 2,950 bytes +89‎ No edit summary
• curprev 09:0709:07, 3 October 2008‎ imported>Maria‎ 2,861 bytes −84‎ No edit summary
• curprev 09:0709:07, 3 October 2008‎ imported>Maria‎ 2,945 bytes +203‎ No edit summary
• curprev 08:0508:05, 3 October 2008‎ imported>Maria‎ 2,742 bytes +221‎ No edit summary
• curprev 07:5907:59, 3 October 2008‎ imported>Maria‎ 2,521 bytes +25‎ No edit summary
• curprev 07:5707:57, 3 October 2008‎ imported>Maria‎ 2,496 bytes +198‎ No edit summary
• curprev 07:5407:54, 3 October 2008‎ imported>Maria‎ 2,298 bytes +79‎ No edit summary
• curprev 07:4207:42, 3 October 2008‎ imported>Maria‎ 2,219 bytes +362‎ No edit summary
• curprev 07:1007:10, 3 October 2008‎ imported>Maria‎ 1,857 bytes +223‎ No edit summary
• curprev 07:0607:06, 3 October 2008‎ imported>Maria‎ 1,634 bytes +369‎ No edit summary

2 October 2008

• curprev 15:5415:54, 2 October 2008‎ imported>Maria‎ 1,265 bytes −604‎ No edit summary

22 September 2008

• curprev 15:5715:57, 22 September 2008‎ imported>Maria‎ 1,869 bytes +34‎ No edit summary
• curprev 15:4915:49, 22 September 2008‎ imported>Maria‎ 1,835 bytes +683‎ No edit summary