Add new addExtensionTable() wrapper for adding new tables for extensions: way easier...
[lhc/web/wiklou.git] / math / util.ml
2010-11-17 Antoine Mussosome code comments, fix some indentation issues
2003-04-14 Lee Daniel CrockerInitial revision