|
|
|
last edited 17 years ago by kratt6 |
Edit history for #56 Hyperdoc does not work on Windows
| Version | Note | Size | Editor | Time |
|---|---|---|---|---|
| different fixes by different versions. Don't know about open-axiom | 1200 | kratt6 | 2007/12/20 09:51:37 GMT-8 | |
| Hyperdoc was ported to windows | 932 | daly | 2007/12/20 06:02:08 GMT-8 | |
| fixed in FriCAS | 442 | kratt6 | 2007/12/20 01:25:10 GMT-8 | |
| property change | 228 | 2007/11/17 22:59:02 GMT-8 |