regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

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

IsaMakefile

Wed, 18 May 2011 19:54:43 +0000	urbanc	added directory for journal version; took uptodate version of the theory files	file \| diff \| annotate
Mon, 07 Feb 2011 11:12:36 +0000	urbanc	added an option fullpaper to IsaMakefile	file \| diff \| annotate
Fri, 04 Feb 2011 22:54:29 +0000	urbanc	more on the introduction	file \| diff \| annotate
Thu, 03 Feb 2011 12:00:06 +0000	zhang	Copy Myhill.thy into Myhill_2.thyand put Myhill_2.thy into logic ListP. Myhill.thy is now almost empty ready to be extended by new manuscripts.	file \| diff \| annotate
Wed, 02 Feb 2011 13:54:07 +0000	urbanc	a little bit in the introduction	file \| diff \| annotate
Mon, 31 Jan 2011 14:51:47 +0000	zhang	Myhill.thy IsabelleMakefile modified	file \| diff \| annotate
Wed, 26 Jan 2011 22:51:51 +0000	wu	added an itp entry to IsaMakefile; fixed problem with eqref; have not used heap file ListP	file \| diff \| annotate
Tue, 25 Jan 2011 12:14:31 +0000	zhang	1. Myhill.thy is proved to correct some typos. 2. Some sections are added to the first direction. 3. The small theory of list difference is now separated into Prefix_subtract.thy and the ROOT.ML	file \| diff \| annotate
Mon, 24 Jan 2011 11:29:55 +0000	zhang	Directory [tphols-2011] is added to host the commented version of [Myhill.thy]. Directory [pres] is created to host a build session for logical image [ListP] which is essentially [Main] extended with [List_prefix.thy].	file \| diff \| annotate
Thu, 25 Nov 2010 18:54:45 +0000	urbanc	added paper	file \| diff \| annotate
Wed, 03 Nov 2010 21:42:44 +0000	urbanc	added initial slides for informal talk in Cambridge	file \| diff \| annotate

less more (0) tip

regexp