Event-B Indexers: Revision history

11 July 2009

• curprev 22:3622:36, 11 July 2009‎ imported>Nicolas‎ m 5,182 bytes +371‎ →‎What Is Indexed: Added root elements indexing

7 May 2009

• curprev 16:3116:31, 7 May 2009‎ imported>Nicolas‎ m 4,811 bytes −61‎ →‎Occurrences: removed theorems
• curprev 16:3016:30, 7 May 2009‎ imported>Nicolas‎ m 4,872 bytes −61‎ →‎Occurrences: removed theorems

10 March 2009

• curprev 09:4609:46, 10 March 2009‎ imported>Laurent‎ m 4,933 bytes +33‎ →‎Propagation
• curprev 09:4409:44, 10 March 2009‎ imported>Laurent‎ m 4,900 bytes +91‎ →‎Occurrences
• curprev 09:4009:40, 10 March 2009‎ imported>Laurent‎ m 4,809 bytes +7‎ →‎Occurrences
• curprev 09:3909:39, 10 March 2009‎ imported>Laurent‎ m 4,802 bytes −24‎ →‎Occurrences
• curprev 09:3809:38, 10 March 2009‎ imported>Laurent‎ m 4,826 bytes +22‎ →‎Occurrences
• curprev 09:3709:37, 10 March 2009‎ imported>Laurent‎ m 4,804 bytes +33‎ →‎Occurrences
• curprev 09:3509:35, 10 March 2009‎ imported>Laurent‎ m 4,771 bytes −5‎ →‎What Indexers Index
• curprev 09:3509:35, 10 March 2009‎ imported>Laurent‎ m 4,776 bytes −54‎ →‎Event-B Occurrence Kinds
• curprev 09:3309:33, 10 March 2009‎ imported>Laurent‎ m 4,830 bytes +56‎ →‎Event-B Occurrence Kinds

5 March 2009

• curprev 15:5715:57, 5 March 2009‎ imported>Nicolas‎ 4,774 bytes +8‎ →‎Propagation
• curprev 15:5515:55, 5 March 2009‎ imported>Nicolas‎ 4,766 bytes +21‎ →‎Occurrences
• curprev 15:5215:52, 5 March 2009‎ imported>Nicolas‎ 4,745 bytes +78‎ →‎Event-B Occurrence Kinds

3 March 2009

• curprev 22:1422:14, 3 March 2009‎ imported>Mathieu‎ m 4,667 bytes +38‎ No edit summary
• curprev 10:5510:55, 3 March 2009‎ imported>Nicolas‎ 4,629 bytes −2,846‎ →‎Query Examples
• curprev 09:5109:51, 3 March 2009‎ imported>Nicolas‎ m 7,475 bytes +79‎ →‎Homonyms in a file
• curprev 09:5009:50, 3 March 2009‎ imported>Nicolas‎ 7,396 bytes +498‎ →‎Query with propagation
• curprev 09:4409:44, 3 March 2009‎ imported>Nicolas‎ m 6,898 bytes +43‎ →‎Occurrences of an element
• curprev 09:4109:41, 3 March 2009‎ imported>Nicolas‎ m 6,855 bytes −15‎ →‎Parameters of an event
• curprev 09:3809:38, 3 March 2009‎ imported>Nicolas‎ 6,870 bytes +2,192‎ →‎Query Examples

2 March 2009

• curprev 17:5917:59, 2 March 2009‎ imported>Nicolas‎ m 4,678 bytes −3‎ →‎Propagation
• curprev 16:5516:55, 2 March 2009‎ imported>Nicolas‎ 4,681 bytes +4,681‎ New page: ==Purpose== Event-B indexers populate the index repository. Currently, indexers are implemented for the following files : * machine (.bum) * context (.buc) ==Event-B Occurrence Kinds== ...