openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
bonak
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Low Activity
Commits
: Listings
Analyzed
about 9 hours
ago. based on code collected
about 18 hours
ago.
May 07, 2023 — May 07, 2024
Showing page 2 of 30
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
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...
6 months ago
paper, msc, art.cls: squelch some warnings; switch to master
Ramkumar Ramachandra
More...
6 months ago
paper: tweak caption fontsize
Ramkumar Ramachandra
More...
6 months ago
paper: kill some floats, adjust whitespace
Ramkumar Ramachandra
More...
6 months ago
Improving text
Hugo Herbelin
More...
6 months ago
paper: tweak font sizes harder using anyfont; lmodern
Ramkumar Ramachandra
More...
6 months ago
About parametricity
Hugo Herbelin
More...
6 months ago
paper: tweak table numbering
Ramkumar Ramachandra
More...
6 months ago
paper: formatting; kill overflows, unnecessary float
Ramkumar Ramachandra
More...
6 months ago
paper: minor polish, cleanup
Ramkumar Ramachandra
More...
6 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...
8 months ago
paper: remove Outline
Ramkumar Ramachandra
More...
8 months ago
←
1
2
3
4
5
6
7
8
9
…
29
30
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree