wneuper/isa: files

Mercurial Mercurial > wneuper > isa / files

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | bz2 | gz | help

/

drwxr-xr-x			[up]
drwxr-xr-x			bin	files
drwxr-xr-x			doc	files
drwxr-xr-x			doc-isac	files
drwxr-xr-x			etc	files
drwxr-xr-x			lib	files
drwxr-xr-x			libisabelle-protocol	files
drwxr-xr-x			src	files
drwxr-xr-x			test	files
-rw-r--r--	2018-03-08 07:28 +0100	860	.hgignore	file \| revisions \| annotate
-rw-r--r--	2018-03-08 07:28 +0100	109	.hgtags	file \| revisions \| annotate
-rw-r--r--	2018-03-08 07:28 +0100	1146	ANNOUNCE	file \| revisions \| annotate
-rwxr-xr-x	2018-03-08 07:28 +0100	89	CLEANUP	file \| revisions \| annotate
-rw-r--r--	2018-03-08 07:28 +0100	26816	CONTRIBUTORS	file \| revisions \| annotate
-rw-r--r--	2018-03-08 07:28 +0100	1673	COPYRIGHT	file \| revisions \| annotate
-rwxr-xr-x	2018-03-08 07:28 +0100	594797	Isabelle2017	file \| revisions \| annotate
-rw-r--r--	2018-03-08 07:28 +0100	300	Isabelle2017.options32	file \| revisions \| annotate
-rw-r--r--	2018-03-08 07:28 +0100	300	Isabelle2017.options64	file \| revisions \| annotate
-rwxr-xr-x	2018-03-08 07:28 +0100	2266	Isabelle2017.run	file \| revisions \| annotate
-rw-r--r--	2018-03-08 07:28 +0100	587257	NEWS	file \| revisions \| annotate
-rw-r--r--	2018-03-08 07:28 +0100	2264	README	file \| revisions \| annotate
-rw-r--r--	2018-03-08 07:28 +0100	12056	README_REPOSITORY	file \| revisions \| annotate
-rw-r--r--	2018-03-08 07:28 +0100	295	README_WN	file \| revisions \| annotate
-rw-r--r--	2018-03-08 07:28 +0100	166	ROOTS	file \| revisions \| annotate
-rwxr-xr-x	2018-03-08 07:28 +0100	423	xcoding-to-test.sh	file \| revisions \| annotate
-rwxr-xr-x	2018-03-08 07:28 +0100	413	xtest-to-coding.sh	file \| revisions \| annotate
-rwxr-xr-x	2018-03-08 07:28 +0100	513	zcoding-to-test.sh	file \| revisions \| annotate
-rwxr-xr-x	2018-03-08 07:28 +0100	524	ztest-to-coding.sh	file \| revisions \| annotate

wneuper/isa