Commits

Author Commit Message Labels Comments Date
keigoi
changed reference Coq -> Coq2
keigoi
start coq immediately when the module is loaded
keigoi
changed configure (and Makefiles) to accept ./configure -sharedlib
keigoi
removed threads for -sharedlib
keigoi
copied things from ide/ideutils.ml
keigoi
rename Coq -> Coq2 due to name crash with ide/coq.ml
keigoi
removed unavailable references
keigoi
ide/coq.ml, ide/coq.mli を sharedlib/ にコピー
keigoi
coqmktop にオプション -sharedlib と -output-obj を指定できるようにした (-sharedlib は sharedlib/coq_sharedlib.cmaをリンク, まだできていない)
keigoi
暫定 Android版 coqtop.opt ビルドスクリプト
keigoi
Initial commit (coq 8.3pl4)