|
|
|
last edited 16 years ago by gdr |
Edit history for #236 Clicking on 'Dependents' in HyperDoc Browse crashes HyperDoc
| Version | Note | Size | Editor | Time |
|---|---|---|---|---|
| 1155 | gdr | 2008/05/18 11:57:36 GMT-7 | ||
| fixed in FriCAS | 932 | kratt6 | 2007/12/20 02:27:50 GMT-8 | |
| 668 | 2007/11/17 22:13:25 GMT-8 |