renamed AxClass.get_definition to AxClass.get_info (again);
AxClass.axiomatize: renamed XXX_i to XXX, and XXX to XXX_cmd;
Checklist for official releases
===============================
- Admin/update-keywords;
- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
- run tests with all supported ML systems;
- maintain Docs:
Doc/Contents
Distribution/doc/Contents
Admin/index.html
- maintain Logics:
Admin/makedist
Distribution/build
Distribution/lib/Tools/makeall
Distribution/lib/html/index.html
Doc/Logics/intro.tex
Doc/Logics/logics.tex
- after release:
commit new ~isabelle/website/include/documentationdist.include.html to CVS
!!! commit new Admin/website/conf/distname.mak to CVS
!!! this is currently not part of CVS, so ignore this description;
!!! perhaps we will need to add it
$Id$