nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

Quotient-Paper/document/root.tex

2010-06-23	Christian Urban	polished paper again (and took out some claims about Homeier's package)	file \| diff \| annotate
2010-06-15	Christian Urban	finished preliminary section	file \| diff \| annotate
2010-06-14	Christian Urban	completed proof and started section about respectfulness and preservation	file \| diff \| annotate
2010-06-13	Christian Urban	more on the qpaper	file \| diff \| annotate
2010-06-13	Christian Urban	something about the quotient ype definitions	file \| diff \| annotate
2010-06-13	Christian Urban	polishing of ABS/REP	file \| diff \| annotate
2010-06-12	Christian Urban	some slight tuning of the intro	file \| diff \| annotate
2010-06-12	Christian Urban	completed the intro (except minor things)	file \| diff \| annotate
2010-06-11	Christian Urban	more intro	file \| diff \| annotate
2010-06-11	Christian Urban	more to the introduction of the qpaper	file \| diff \| annotate
2010-06-10	Christian Urban	more on the qpaper	file \| diff \| annotate
2010-06-07	Christian Urban	more work on intro and abstract (done for today)	file \| diff \| annotate
2010-06-07	Christian Urban	a bit more in the introduction and abstract	file \| diff \| annotate
2010-06-07	Christian Urban	improved abstract, some tuning	file \| diff \| annotate
2010-06-01	Christian Urban	added larry's quote	file \| diff \| annotate
2010-05-28	Christian Urban	first version of the abstract	file \| diff \| annotate
2010-05-23	Christian Urban	changed qpaper to lncs-style	file \| diff \| annotate
2010-05-03	Christian Urban	some preliminary notes of the abstract (qpaper); still need to see the motivating example	file \| diff \| annotate
2010-04-29	Christian Urban	added stub for quotient paper; call with isabelle make qpaper	file \| diff \| annotate

less more (0) tip

nominal2