login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit history for SandBoxMaybe


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