The Coq mailing list

[Tony Sloane <inkytonik AT gmail.com>]

Hi Kris,

Thanks for the positive feedback.

I'd rather not reformat to make it denser, but an easy way is to print it two 
pages per actual page. I've put up such a "2 up" PDF version. That one's only 
six pages, which might be small enough...

I will look at making a HTML version. Should be relatively easy from my 
source (iWork Pages).

regards,
Tony

On 13/12/2012, at 1:47 AM, Kristopher Micinski 
<krismicinski AT gmail.com>
 wrote:

> Tony,
> 
> Thanks a lot, this looks really great!
> 
> Quick references are great for when you remember there's a tactic you
> should be using but can't quite remember the name and don't want to
> dig through the reference manual.
> 
> (Personally, I still use some random untitled page stuck away on Adam
> Chlipala's website :-)...
> 
> Suggestion: the pdf lacks very much information density, is it
> possible to reformat to take up fewer pages so (for example) it could
> be printed out and stuck on a wall?
> 
> Bonus points for being able to format it in a nice HTML fashion and
> view it that way: if you stuck up your sources somewhere (is it Word,
> or just TeX formatted to look like that?) I could try to do this..
> 
> Kris
> 
> On Wed, Dec 12, 2012 at 12:19 AM, Tony Sloane 
> <inkytonik AT gmail.com>
>  wrote:
>> Hi everyone,
>> 
>> Over the course of the last year or so as I have read various Coq books, 
>> reference manuals and tutorials I have taken some notes to help me keep 
>> track of the many details I was learning.
>> 
>> These notes have gradually turned into a Coq Quick Reference that includes 
>> entries for commonly used vernacular commands, tactics, library types and 
>> definitions, and Ltac constructs.
>> 
>> Since the quick reference may be of use to others, I have made it 
>> available here:
>> 
>>    https://wiki.mq.edu.au/display/plrg/Resources
>> 
>> If you have any suggestions for bug fixes, additions, omissions or other 
>> improvements, please don't hesitate to send them to me and I will try to 
>> incorporate them.
>> 
>> regards,
>> Tony Sloane
>> 
>> Department of Computing
>> Macquarie University
>> Sydney, Australia
>>