C

coq4ios

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 01, 2023 — May 01, 2024 Showing page 2 of 3 Search / Filter on:
File load & auto-save	Keigo IMAI	More...				about 11 years ago
Fix: lack of CAMLreturn0 on a few places	Keigo IMAI	More...				about 11 years ago
put Coq stdlib into .7z archive	Keigo IMAI	More...				about 11 years ago
lzmaSDK for iOS, from https://github.com/mdejong/lzmaSDK/ (which is originnally from http://www.7-zip.org/sdk.html)	Keigo IMAI	More...				about 11 years ago
show indicator whenever Coq is busy	Keigo IMAI	More...				about 11 years ago
status lines & "Reset" button	Keigo IMAI	More...				about 11 years ago
include *.vo (>100Mbytes) in package.	Keigo IMAI	More...				about 11 years ago
'Undo' button	Keigo IMAI	More...				about 11 years ago
Mark evaluated part as red (still doesn't sync with Coq internal)	Keigo IMAI	More...				about 11 years ago
Tap eval to proceed cursor	Keigo IMAI	More...				about 11 years ago
"eval" evals the first line of the text view.	Keigo IMAI	More...				about 11 years ago
very simple file manager UI	Keigo IMAI	More...				about 11 years ago
remove Core Data dependencies	Keigo IMAI	More...				about 11 years ago
switch to master-detail style	Keigo IMAI	More...				about 11 years ago
reorder	Keigo IMAI	More...				about 11 years ago
fix: initals were compiled twice	Keigo IMAI	More...				about 11 years ago
use progress bar	Keigo IMAI	More...				about 11 years ago
run OCaml part within GCD queue	Keigo IMAI	More...				about 11 years ago
oops	Keigo IMAI	More...				about 11 years ago
remove unneeded file references	Keigo IMAI	More...				about 11 years ago
changed workdir to cache and so on	Keigo IMAI	More...				about 11 years ago
various changes on build script. (1) link coqlib.byte by my ocamlc_arm and (2) remove dependency to coqmktop -a	Keigo IMAI	More...				about 11 years ago
cross-compiling version of ocamlc which correctly links bytecode for real iPads (but not simulators!)	Keigo IMAI	More...				about 11 years ago
split path-related functions to pathmap.ml	Keigo IMAI	More...				about 11 years ago
README and LICENSES	Keigo IMAI	More...				about 11 years ago
compile *.v files on iOS (Obj-C part) still fails on some .v file	Keigo IMAI	More...				about 11 years ago
compile *.v files on iOS (OCaml part)	Keigo IMAI	More...				about 11 years ago
fix: could not launch on iOS5 devices (backport .xib's version)	Keigo IMAI	More...				about 11 years ago
plugin binaries and so on	Keigo IMAI	More...				about 11 years ago
TODO in Japanese	Keigo IMAI	More...				about 11 years ago

←
1
2
3
→