login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#219 The interpreter does not understand dependend types  ← ↑ →  #220 'StepThrough' is braindead

#22 Modification of axiom.input ?
  
last edited 17 years ago

Edit history for #22 Modification of axiom.input ?


Version Note Size Editor Time
451 2007/11/17 22:12:24 GMT-8