isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

etc/isar-keywords-ZF.el

2008-12-30	ballarin	Merged.	file \| diff \| annotate
2008-12-14	ballarin	Fixed legacy locale keywords (went to ZF rather than default keywords file).	file \| diff \| annotate
2008-12-12	ballarin	Porting to new locales.	file \| diff \| annotate
2008-12-15	wenzelm	updated generated files;	file \| diff \| annotate
2008-11-27	ballarin	Sublocale command.	file \| diff \| annotate
2008-11-06	ballarin	Keyword 'includes' gone.	file \| diff \| annotate
2008-09-17	wenzelm	updated generated file;	file \| diff \| annotate
2008-07-16	wenzelm	updated generated file;	file \| diff \| annotate
2008-07-14	wenzelm	updated generated file;	file \| diff \| annotate
2008-07-10	wenzelm	updated generated file;	file \| diff \| annotate
2008-07-08	wenzelm	updated generated file;	file \| diff \| annotate
2008-06-14	wenzelm	updated generated file;	file \| diff \| annotate
2008-05-15	wenzelm	updated generated file;	file \| diff \| annotate
2008-03-29	wenzelm	updated generated file;	file \| diff \| annotate
2008-03-25	wenzelm	* empty log message *	file \| diff \| annotate
2008-02-28	berghofe	Added unused_thms command.	file \| diff \| annotate
2007-12-07	wenzelm	updated;	file \| diff \| annotate
2007-12-03	haftmann	updated	file \| diff \| annotate
2007-10-17	wenzelm	updated;	file \| diff \| annotate
2007-10-10	wenzelm	updated;	file \| diff \| annotate
2007-10-08	haftmann	updated keywords	file \| diff \| annotate
2007-10-08	wenzelm	tuned generated comment;	file \| diff \| annotate
2007-10-08	wenzelm	updated;	file \| diff \| annotate
2007-10-06	wenzelm	updated;	file \| diff \| annotate
2007-10-06	wenzelm	updated;	file \| diff \| annotate
2007-08-20	haftmann	updated keywords	file \| diff \| annotate
2007-08-13	haftmann	renamed keyword "to" to "module_name"	file \| diff \| annotate
2007-08-01	wenzelm	updated;	file \| diff \| annotate
2007-07-25	wenzelm	updated;	file \| diff \| annotate
2007-07-12	wenzelm	updated;	file \| diff \| annotate
2007-07-10	haftmann	updated keywords	file \| diff \| annotate
2007-05-08	wenzelm	updated;	file \| diff \| annotate
2007-03-20	haftmann	updated keywords	file \| diff \| annotate
2007-02-10	haftmann	updated keywords	file \| diff \| annotate
2007-01-28	wenzelm	updated;	file \| diff \| annotate
2007-01-19	wenzelm	updated	file \| diff \| annotate
2007-01-16	haftmann	updated keywords	file \| diff \| annotate
2006-12-12	wenzelm	updated;	file \| diff \| annotate
2006-12-09	wenzelm	updated;	file \| diff \| annotate
2006-11-11	wenzelm	updated;	file \| diff \| annotate
2006-11-07	wenzelm	updated;	file \| diff \| annotate
2006-10-20	haftmann	code_constsubst -> code_axioms	file \| diff \| annotate
2006-10-13	wenzelm	updated;	file \| diff \| annotate
2006-10-10	haftmann	added code_abstype and code_constsubst	file \| diff \| annotate
2006-10-02	haftmann	normal_form now a diagnostic command	file \| diff \| annotate
2006-09-25	haftmann	added code_instname	file \| diff \| annotate
2006-09-19	haftmann	code_gen now peek keyword	file \| diff \| annotate
2006-09-18	wenzelm	updated;	file \| diff \| annotate
2006-09-01	haftmann	final syntax for some Isar code generator keywords	file \| diff \| annotate
2006-08-29	haftmann	updated keywords	file \| diff \| annotate
2006-08-14	haftmann	updated code generator keywords	file \| diff \| annotate
2006-08-08	haftmann	added code_constname keyword	file \| diff \| annotate
2006-06-14	haftmann	keyword update	file \| diff \| annotate
2006-06-12	haftmann	updated keywords	file \| diff \| annotate
2006-06-06	wenzelm	updated;	file \| diff \| annotate
2006-05-16	wenzelm	updated;	file \| diff \| annotate
2006-05-13	wenzelm	updated;	file \| diff \| annotate
2006-03-14	wenzelm	updated;	file \| diff \| annotate
2006-03-14	wenzelm	updated;	file \| diff \| annotate
2006-02-27	haftmann	added nbe	file \| diff \| annotate

less more (0) -100 -60 tip

isabelle

RSS Atom