bonak

Settings | Report Duplicate

0

I Use This!

Moderate Activity

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
Apr 26, 2023 — Apr 26, 2024 Showing page 2 of 30 Search / Filter on:
Upgrading version of Coq	Hugo Herbelin	More...				5 months ago
paper: minor polish	Ramkumar Ramachandra	More...				5 months ago
paper: macro cleanup, NFC	Ramkumar Ramachandra	More...				5 months ago
paper, msc, art.cls: squelch some warnings; switch to master	Ramkumar Ramachandra	More...				5 months ago
paper: tweak caption fontsize	Ramkumar Ramachandra	More...				5 months ago
paper: kill some floats, adjust whitespace	Ramkumar Ramachandra	More...				5 months ago
Improving text	Hugo Herbelin	More...				5 months ago
paper: tweak font sizes harder using anyfont; lmodern	Ramkumar Ramachandra	More...				5 months ago
About parametricity	Hugo Herbelin	More...				5 months ago
paper: tweak table numbering	Ramkumar Ramachandra	More...				5 months ago
paper: formatting; kill overflows, unnecessary float	Ramkumar Ramachandra	More...				5 months ago
paper: minor polish, cleanup	Ramkumar Ramachandra	More...				5 months ago
Using \times in parametricity.	Hugo Herbelin	More...				6 months ago
paper: fix inconsistencies (WIP)	Ramkumar Ramachandra	More...				6 months ago
paper: minor polish	Ramkumar Ramachandra	More...				6 months ago
paper: fix abstract	Ramkumar Ramachandra	More...				6 months ago
paper: fix bugs in msc, get title/author/abstract in paper	Ramkumar Ramachandra	More...				6 months ago
msc.cls: update to latest, format	Ramkumar Ramachandra	More...				6 months ago
paper: minor consistency update; polish	Ramkumar Ramachandra	More...				6 months ago
paper: major polish; remove some ugly itemize	Ramkumar Ramachandra	More...				6 months ago
paper: polish first few paragraphs	Ramkumar Ramachandra	More...				6 months ago
Citation discrete fibrations	Hugo Herbelin	More...				6 months ago
paper/sec:eqproperties: polish	Ramkumar Ramachandra	More...				7 months ago
paper: changes to sec:itt mainly	Ramkumar Ramachandra	More...				7 months ago
Hofmann	Hugo Herbelin	More...				7 months ago
paper: lots of minor corrections	Ramkumar Ramachandra	More...				7 months ago
paper: changes to Our Construction	Ramkumar Ramachandra	More...				7 months ago
Micro-changes	Hugo Herbelin	More...				7 months ago
paper: polish sec:ett a bit	Ramkumar Ramachandra	More...				7 months ago
paper: remove Outline	Ramkumar Ramachandra	More...				7 months ago

←
1
2
3
4
5
6
7
8
9
…
29
30
→