pip: File revisions

Mercurial Mercurial > hg > pip / file revisions

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

journal.pdf

2016-01-06	Christian Urban	renamed files	file \| diff \| annotate
2015-10-04	Christian Urban	added one more reference to an incorrect specification	file \| diff \| annotate
2015-09-09	Christian Urban	updated for Isabelle 2015	file \| diff \| annotate
2014-07-15	Christian Urban	updated teh theories to newer Isabelle version	file \| diff \| annotate
2014-06-12	Christian Urban	a few additions	file \| diff \| annotate
2014-06-09	Christian Urban	added another book that makes the error, some more proofs	file \| diff \| annotate
2014-06-02	Christian Urban	updated	file \| diff \| annotate
2014-05-30	Christian Urban	finished proof of acyclity	file \| diff \| annotate
2014-05-22	Christian Urban	added a bit more text to the paper and separated a theory about Max	file \| diff \| annotate
2014-05-15	Christian Urban	simplified the cp_rec proof	file \| diff \| annotate
2014-05-06	Christian Urban	made some modifications.	file \| diff \| annotate
2014-03-04	Christian Urban	updated	file \| diff \| annotate
2014-03-04	Christian Urban	cleaned up	file \| diff \| annotate
2014-03-04	Christian Urban	updated	file \| diff \| annotate
2014-03-04	Christian Urban	added two more references	file \| diff \| annotate
2014-03-04	Christian Urban	some additions	file \| diff \| annotate

less more (0) -16 tip

pip