|
|
|
last edited 15 years ago by gdr |
Edit history for #282 In hyperdoc click on 'users' crashes hyperdoc
| Version | Note | Size | Editor | Time |
|---|---|---|---|---|
| 640 | gdr | 2008/05/18 13:22:32 GMT-7 | ||
| fixed in FriCAS | 417 | kratt6 | 2007/12/20 01:55:28 GMT-8 | |
| 203 | 2007/11/17 22:20:54 GMT-8 |
|
|
|
last edited 15 years ago by gdr |
| Version | Note | Size | Editor | Time |
|---|---|---|---|---|
| 640 | gdr | 2008/05/18 13:22:32 GMT-7 | ||
| fixed in FriCAS | 417 | kratt6 | 2007/12/20 01:55:28 GMT-8 | |
| 203 | 2007/11/17 22:20:54 GMT-8 |