Mathematical Extensions: Revision history

9 March 2010

• curprev 17:3117:31, 9 March 2010‎ imported>Nicolas‎ m 12,847 bytes +199‎ →‎Formula Factory
• curprev 17:2117:21, 9 March 2010‎ imported>Nicolas‎ m 12,648 bytes 0‎ →‎Formula Factory
• curprev 17:1817:18, 9 March 2010‎ imported>Nicolas‎ m 12,648 bytes +2,090‎ →‎Formula Factory

8 March 2010

• curprev 18:1018:10, 8 March 2010‎ imported>Nicolas‎ m 10,558 bytes +748‎ →‎Formula Factory
• curprev 16:3316:33, 8 March 2010‎ imported>Nicolas‎ m 9,810 bytes +74‎ →‎Formula Factory
• curprev 14:5714:57, 8 March 2010‎ imported>Nicolas‎ m 9,736 bytes −731‎ →‎Formula Factory
• curprev 14:0514:05, 8 March 2010‎ imported>Nicolas‎ m 10,467 bytes +450‎ →‎Tags
• curprev 11:5111:51, 8 March 2010‎ imported>Nicolas‎ m 10,017 bytes +2,900‎ →‎Towards a generic AST

1 March 2010

• curprev 09:0509:05, 1 March 2010‎ imported>Pascal‎ 7,117 bytes +34‎ →‎Lexer

9 February 2010

• curprev 09:2209:22, 9 February 2010‎ imported>Nicolas‎ m 7,083 bytes +20‎ →‎Towards a generic AST

5 February 2010

• curprev 15:3015:30, 5 February 2010‎ imported>Nicolas‎ m 7,063 bytes 0‎ →‎Identified Problems
• curprev 10:2110:21, 5 February 2010‎ imported>Mathieu‎ m 7,063 bytes +17‎ →‎User Input
• curprev 09:5009:50, 5 February 2010‎ imported>Mathieu‎ m 7,046 bytes +212‎ →‎New types: add some disadvantages for Opaque mode
• curprev 09:4409:44, 5 February 2010‎ imported>Mathieu‎ m 6,834 bytes +177‎ →‎Identified Problems: rewording proposal ...
• curprev 09:2509:25, 5 February 2010‎ imported>Mathieu‎ m 6,657 bytes +155‎ →‎User Requirements: Note about pipe

4 February 2010

• curprev 17:5817:58, 4 February 2010‎ imported>Pascal‎ 6,502 bytes +937‎ →‎Identified Problems
• curprev 17:1017:10, 4 February 2010‎ imported>Pascal‎ 5,565 bytes +593‎ →‎Scope of the mathematical extensions
• curprev 16:2116:21, 4 February 2010‎ imported>Pascal‎ 4,972 bytes +313‎ →‎Open Questions
• curprev 16:0716:07, 4 February 2010‎ imported>Pascal‎ m 4,659 bytes +1‎ →‎New types
• curprev 16:0716:07, 4 February 2010‎ imported>Pascal‎ 4,658 bytes +900‎ →‎Open Questions
• curprev 15:3415:34, 4 February 2010‎ imported>Pascal‎ 3,758 bytes +47‎ →‎User Requirements
• curprev 14:3214:32, 4 February 2010‎ imported>Pascal‎ m 3,711 bytes +18‎ →‎Open questions
• curprev 14:3114:31, 4 February 2010‎ imported>Pascal‎ m 3,693 bytes 0‎ →‎Identified problems
• curprev 14:3114:31, 4 February 2010‎ imported>Pascal‎ m 3,693 bytes +23‎ →‎Open questions
• curprev 14:2914:29, 4 February 2010‎ imported>Mathieu‎ m 3,670 bytes +198‎ →‎User Requirements
• curprev 14:0414:04, 4 February 2010‎ imported>Nicolas‎ m 3,472 bytes −4‎ →‎User Requirements: fixed notation (parentheses)
• curprev 11:4211:42, 4 February 2010‎ imported>Pascal‎ 3,476 bytes +81‎ →‎Impact on other tools
• curprev 11:3111:31, 4 February 2010‎ imported>Pascal‎ m 3,395 bytes +100‎ →‎Towards a generic AST
• curprev 11:1811:18, 4 February 2010‎ imported>Pascal‎ 3,295 bytes +78‎ →‎User Input
• curprev 11:0511:05, 4 February 2010‎ imported>Pascal‎ m 3,217 bytes −18‎ →‎User Input
• curprev 10:5710:57, 4 February 2010‎ imported>Pascal‎ 3,235 bytes +2‎ →‎Requirements
• curprev 10:5410:54, 4 February 2010‎ imported>Pascal‎ m 3,233 bytes +6‎ →‎Development Requirements
• curprev 10:5210:52, 4 February 2010‎ imported>Pascal‎ 3,227 bytes +379‎ →‎Development Requirements
• curprev 10:1010:10, 4 February 2010‎ imported>Pascal‎ 2,848 bytes +87‎ →‎Requirements
• curprev 09:4609:46, 4 February 2010‎ imported>Pascal‎ 2,761 bytes +222‎ →‎Requirements
• curprev 09:3009:30, 4 February 2010‎ imported>Pascal‎ 2,539 bytes +407‎ →‎Requirements

3 February 2010

• curprev 17:2917:29, 3 February 2010‎ imported>Pascal‎ 2,132 bytes +251‎ →‎Requirements
• curprev 17:0517:05, 3 February 2010‎ imported>Pascal‎ m 1,881 bytes −100‎ →‎Bibliography
• curprev 16:3016:30, 3 February 2010‎ imported>Pascal‎ m 1,981 bytes +44‎ →‎Impact on other tools
• curprev 15:2715:27, 3 February 2010‎ imported>Pascal‎ m 1,937 bytes 0‎ →‎Editing Mathematical Extensions

11 January 2010

• curprev 18:1318:13, 11 January 2010‎ imported>Nicolas‎ m 1,937 bytes +199‎ →‎Towards a generic AST
• curprev 17:5317:53, 11 January 2010‎ imported>Nicolas‎ m 1,738 bytes +186‎ →‎Towards a generic AST

7 January 2010

• curprev 15:2715:27, 7 January 2010‎ imported>Mathieu‎ m 1,552 bytes 0‎ →‎Towards a generic AST
• curprev 15:2615:26, 7 January 2010‎ imported>Mathieu‎ m 1,552 bytes +31‎ →‎Towards a generic AST: link towards Constrained Dynamic Parser

6 January 2010

• curprev 17:3917:39, 6 January 2010‎ imported>Nicolas‎ m 1,521 bytes +556‎ No edit summary

28 January 2009

• curprev 15:3815:38, 28 January 2009‎ imported>Laurent‎ m 965 bytes +38‎ No edit summary
• curprev 15:3715:37, 28 January 2009‎ imported>Laurent‎ m 927 bytes 0‎ Mathematical extensions moved to Mathematical Extensions: Title case

27 January 2009

• curprev 08:4708:47, 27 January 2009‎ imported>Mathieu‎ m 927 bytes +30‎ Category:Design proposal

26 January 2009

• curprev 22:1722:17, 26 January 2009‎ imported>WikiSysop‎ 897 bytes −28‎ →‎Mathematical Extension
• curprev 22:1522:15, 26 January 2009‎ imported>WikiSysop‎ 925 bytes +925‎ New page: = Mathematical Extension = Currently the operators and basic predicates of the Event-B mathematical language supported by Rodin are fixed. We propose to extend Rodin to support user-defin...