欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Boa Constructor
Boa Constructor is a cross platform Python IDE and wxPython GUI Builder. It offers visual frame creation and manipulation, an object inspector, many views on the source like object browsers, inheritance hierarchies, doc string generated html documentation, an advanced debugger and integrated help. Zope support: Object creation and editing. Cut, copy, paste, import and export. Property creation and editing in the Inspector and Python Script debugging. It is written in Python and uses the wxPython library which wraps wxWindows.
http://boa-constructor.sourceforge.net/
Install
install python and wxPython install Boa C:\Python25\python C:\Python25\Lib\site-packages\boa-constructor\Boa.py 启动 Boa
Error on startup
'module' object has no attribute 'NotebookSizer' //used wxPython2.8-win32-unicode-2.8.1.1-py25.exe
boa需要 wxPython 2.5 的版本, wxversion.select('2.5'), 看来 boa的wxPython的版本更新很慢。
http://switch.dl.sourceforge.net/sourceforge/wxpython/wxPythonWIN32-2.5.1.5-Py23.exe http://www.python.org/ftp/python/2.3/Python-2.3.exe C:\Python23\python C:\Python23\Lib\site-packages\boa-constructor\Boa.py \\ 一直无法启动
Screenshots
<discussion>characters_max=300</discussion>