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

Edit history for #120 optimize the compilation with proclamation


Version Note Size Editor Time
Fixed in OpenAxiom 695 gdr 2008/10/17 09:43:07 GMT-7
property change 481 2007/11/17 21:54:24 GMT-8