login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#218 New version Reduce 3.8 includes MathML  ← ↑ →  #22 Modification of axiom.input ?

#219 The interpreter does not understand dependend types
  
last edited 17 years ago

Edit history for #219 The interpreter does not understand dependend types


Version Note Size Editor Time
Update 3518 2007/11/17 22:10:40 GMT-8