add new is_real argument for user_decorator js function
[brisk.git] / web / probrowser.js
2009-02-21 Matteo Nastasi ... myconsole.js facility to debug ie with console.log...