| Version | Note | Size | Editor | Time |
|---|---|---|---|---|
| I can reproduce the failure | 11229 | gdr | 2008/05/28 00:05:03 GMT-7 | |
| 10771 | gdr | 2008/05/27 23:34:13 GMT-7 | ||
| Internal Error | 10498 | page | 2008/05/27 20:49:00 GMT-7 | |
| new version of OpenAxiom | 9939 | page | 2008/05/27 20:38:29 GMT-7 | |
| clear all | 9935 | page | 2008/05/27 17:57:23 GMT-7 | |
| 9924 | gdr | 2008/05/27 17:47:46 GMT-7 | ||
| Something you can only do in OpenAxiom! | 9924 | page | 2008/05/27 17:42:57 GMT-7 | |
| macro | 9573 | gdr | 2008/05/27 16:58:18 GMT-7 | |
| Re: macro | 9112 | page | 2008/05/27 16:54:45 GMT-7 | |
| Re: macro | 9120 | page | 2008/05/27 16:52:11 GMT-7 | |
| Re: 'without' construct | 8086 | page | 2008/05/27 15:46:59 GMT-7 | |
| not so old | 7866 | page | 2008/05/27 15:45:24 GMT-7 | |
| 7572 | page | 2008/05/27 15:43:44 GMT-7 | ||
| 7570 | gdr | 2008/05/27 15:39:27 GMT-7 | ||
| 7078 | gdr | 2008/05/27 15:29:31 GMT-7 | ||
| 6819 | gdr | 2008/05/27 15:28:30 GMT-7 | ||
| exports of domain | 6514 | Bill Page | 2008/05/27 14:01:04 GMT-7 | |
| Maybe(T:Type)== | 6256 | Bill Page | 2008/05/27 13:41:04 GMT-7 | |
| Maybe(T:Type)== | 6251 | Bill Page | 2008/05/27 13:37:18 GMT-7 | |
| exports inferred from RHS | 5201 | Bill Page | 2008/05/27 13:08:40 GMT-7 | |
| exports inferred from RHS | 5200 | Bill Page | 2008/05/27 13:08:04 GMT-7 | |
| exports inferred from RHS | 5199 | Bill Page | 2008/05/27 13:07:33 GMT-7 | |
| exports inferred from RHS | 4732 | Bill Page | 2008/05/27 12:58:47 GMT-7 | |
| scratch that, I was wrong | 4398 | Bill Page | 2008/05/27 12:48:35 GMT-7 | |
| 4882 | Bill Page | 2008/05/27 12:46:05 GMT-7 | ||
| 4882 | Bill Page | 2008/05/27 12:46:05 GMT-7 | ||
| typo, format | 4397 | Bill Page | 2008/05/27 12:40:35 GMT-7 | |
| typo, format | 4391 | Bill Page | 2008/05/27 12:39:47 GMT-7 | |
| Re: problem in the compiler | 4376 | gdr | 2008/05/27 09:20:19 GMT-7 | |
| Re: problem in the compiler | 3449 | Bill Page | 2008/05/27 08:06:29 GMT-7 | |
| explicit exports | 2930 | gdr | 2008/05/27 08:03:19 GMT-7 | |
| macro | 2617 | gdr | 2008/05/27 08:01:39 GMT-7 | |
| explicit exports | 2268 | Bill Page | 2008/05/27 08:01:17 GMT-7 | |
| explicit exports | 2214 | Bill Page | 2008/05/27 07:57:42 GMT-7 | |
| explicit exports | 2153 | Bill Page | 2008/05/27 07:49:18 GMT-7 | |
| explicit exports | 2154 | Bill Page | 2008/05/27 07:48:22 GMT-7 | |
| explicit exports | 2129 | Bill Page | 2008/05/27 07:47:14 GMT-7 | |
| explicit exports | 2106 | Bill Page | 2008/05/27 07:46:21 GMT-7 | |
| macro | 1488 | Bill Page | 2008/05/27 07:35:36 GMT-7 | |
| 1511 | Bill Page | 2008/05/27 07:32:17 GMT-7 | ||
| 1495 | Bill Page | 2008/05/27 07:31:30 GMT-7 | ||
| 1473 | Bill Page | 2008/05/27 07:30:43 GMT-7 | ||
| moved | 1209 | Bill Page | 2008/05/27 07:26:28 GMT-7 |