C

coq4ios

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 4 hours ago. based on code collected about 9 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 18, 2023 — Apr 18, 2024 Showing page 1 of 3 Search / Filter on:
Update README.md	Keigo Imai	More...				over 5 years ago
keyword shortcut: put cursor after inserted text	Keigo IMAI	More...				over 10 years ago
explicitly set black color on non-evaluated text (fix for iOS device)	Keigo IMAI	More...				over 10 years ago
use NSAttributedText and throw away iOS5 support	Keigo IMAI	More...				over 10 years ago
update version info dialog	Keigo IMAI	More...				over 10 years ago
manage renaming	Keigo IMAI	More...				over 10 years ago
rename	Keigo IMAI	More...				over 10 years ago
README	Keigo IMAI	More...				over 10 years ago
fix small defects	Keigo IMAI	More...				over 10 years ago
update filename highlights when tapped in landscape view	Keigo IMAI	More...				over 10 years ago
avoid the input view hidden by the keyboard	Keigo IMAI	More...				over 10 years ago
fix landscape view	Keigo IMAI	More...				over 10 years ago
make explicit the fact that my OCamlXARM is just a clone of Psellos ver	Keigo IMAI	More...				over 10 years ago
refer to symlink of lib*.a	Keigo IMAI	More...				over 10 years ago
brand new build steps & README	Keigo IMAI	More...				over 10 years ago
add empty dirs for obj files	Keigo IMAI	More...				over 10 years ago
support both xarm & xsim	Keigo IMAI	More...				over 10 years ago
move	Keigo IMAI	More...				over 10 years ago
remove unused files for bytecode-version	Keigo IMAI	More...				almost 11 years ago
build for iOS simulator	Keigo IMAI	More...				almost 11 years ago
Sub repo: OCaml 4.00.1+xarm3.1.8-v7 + XCode 4.6 patch	Keigo IMAI	More...				almost 11 years ago
switch back to standard Coq initialization	Keigo IMAI	More...				almost 11 years ago
show detailed error log during initialization	Keigo IMAI	More...				almost 11 years ago
build native-version Coq4iOS with XCode!	Keigo IMAI	More...				almost 11 years ago
build coqlib.o (Coq part) with OMake	Keigo IMAI	More...				almost 11 years ago
build Coq for native ARM	Keigo IMAI	More...				almost 11 years ago
input-assisting buttons	Keigo IMAI	More...				about 11 years ago
FIX: "Require Import" fails (camlp5 raises exception when writing stderr)	Keigo IMAI	More...				about 11 years ago
licenses	Keigo IMAI	More...				about 11 years ago
reset eval stack when a file is opened	Keigo IMAI	More...				about 11 years ago

←
1
2
3
→