isabelle: File revisions

src/Pure/library.ML

2011-06-27	wenzelm	2011-06-27	old gensym is now legacy -- global state is out of fashion, and its result is not guaranteed to be fresh;	file \| diff \| annotate
2011-06-08	wenzelm	2011-06-08	more robust exception pattern General.Subscript;	file \| diff \| annotate
2011-04-19	wenzelm	2011-04-19	slightly more special eq_list/eq_set, with shortcut involving pointer_eq;	file \| diff \| annotate
2011-01-12	wenzelm	2011-01-12	smart_string_of_real: print integer values without fractional part;	file \| diff \| annotate
2011-01-10	wenzelm	2011-01-10	made SML/NJ happy;	file \| diff \| annotate
2011-01-10	wenzelm	2011-01-10	tuned string_of_int to avoid allocation for small integers;	file \| diff \| annotate
2011-01-10	wenzelm	2011-01-10	standardized split_last/last_elem towards List.last; eliminated obsolete Library.last_elem;	file \| diff \| annotate
2010-12-03	wenzelm	2010-12-03	removed confusing comments (cf. 500171e7aa59);	file \| diff \| annotate
2010-12-03	krauss	2010-12-03	really fixed comment (cf. 7abeb749ae99)	file \| diff \| annotate
2010-12-03	bulwahn	2010-12-03	fixing comment in library	file \| diff \| annotate
2010-11-27	wenzelm	2010-11-27	merged; adapted ListPair.UnequalLengths;	file \| diff \| annotate
2010-11-26	haftmann	2010-11-26	strict forall2	file \| diff \| annotate
2010-11-26	wenzelm	2010-11-26	make two copies (!) of Library.UnequalLengths coincide with ListPair.UnequalLengths;	file \| diff \| annotate
2010-11-26	wenzelm	2010-11-26	just one version of fold_rev2;	file \| diff \| annotate
2010-11-20	wenzelm	2010-11-20	renamed raw "explode" function to "raw_explode" to emphasize its meaning;	file \| diff \| annotate
2010-11-16	haftmann	2010-11-16	added forall2 predicate lifter	file \| diff \| annotate
2010-11-12	wenzelm	2010-11-12	tuned signatures;	file \| diff \| annotate
2010-11-03	wenzelm	2010-11-03	discontinued obsolete function sys_error and exception SYS_ERROR;	file \| diff \| annotate
2010-10-30	wenzelm	2010-10-30	support for real valued configuration options;	file \| diff \| annotate
2010-10-01	haftmann	2010-10-01	chop_while replace drop_while and take_while	file \| diff \| annotate
2010-09-30	haftmann	2010-09-30	take_while, drop_while	file \| diff \| annotate
2010-09-22	wenzelm	2010-09-22	renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;	file \| diff \| annotate
2010-07-20	wenzelm	2010-07-20	tuned;	file \| diff \| annotate
2010-05-05	haftmann	2010-05-05	farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)	file \| diff \| annotate
2010-03-26	wenzelm	2010-03-26	tuned white space;	file \| diff \| annotate
2009-12-09	haftmann	2009-12-09	take and drop as projections of chop	file \| diff \| annotate
2009-11-24	haftmann	2009-11-24	curried take/drop	file \| diff \| annotate
2009-10-26	haftmann	2009-10-26	avoid upto if not needed	file \| diff \| annotate
2009-10-23	haftmann	2009-10-23	merged	file \| diff \| annotate
2009-10-22	haftmann	2009-10-22	restored accidentally deleted submultiset	file \| diff \| annotate
2009-10-22	haftmann	2009-10-22	multiset operations with canonical argument order	file \| diff \| annotate
2009-10-22	wenzelm	2009-10-22	made SML/NJ happy;	file \| diff \| annotate
2009-10-22	haftmann	2009-10-22	map_range (and map_index) combinator	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	merged	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	curried inter as canonical list operation (beware of argument order)	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	merged	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	curried union as canonical list operation	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	removed old-style \ and \\ infixes	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	dropped redundant gen_ prefix	file \| diff \| annotate
2009-10-20	haftmann	2009-10-20	replaced old_style infixes eq_set, subset, union, inter and variants by generic versions	file \| diff \| annotate
2009-10-17	wenzelm	2009-10-17	tuned/moved divide_and_conquer';	file \| diff \| annotate
2009-10-17	wenzelm	2009-10-17	indicate CRITICAL nature of various setmp combinators;	file \| diff \| annotate
2009-09-29	wenzelm	2009-09-29	Raw ML references as unsynchronized state variables.	file \| diff \| annotate
2009-08-10	haftmann	2009-08-10	added map_transpose	file \| diff \| annotate
2009-07-25	wenzelm	2009-07-25	eliminated redundant Library.multiply;	file \| diff \| annotate
2009-07-10	haftmann	2009-07-10	dropped find_index_eq	file \| diff \| annotate
2009-05-24	haftmann	2009-05-24	funpow_yield; tuned	file \| diff \| annotate
2009-03-18	wenzelm	2009-03-18	Library.merge/OrdList.union: optimize the important special case where the tables coincide -- NOTE: this changes both the operational behaviour and the result for non-standard eq/ord notion;	file \| diff \| annotate
2009-03-18	haftmann	2009-03-18	made SML/NJ happy	file \| diff \| annotate
2009-03-17	wenzelm	2009-03-17	renamed Tactic.taglist/untaglist/orderlist to tag_list/untag_list/order_list (in library.ML);	file \| diff \| annotate
2009-03-01	wenzelm	2009-03-01	use long names for old-style fold combinators;	file \| diff \| annotate
2009-02-13	kleing	2009-02-13	New command find_consts searching for constants by type (by Timothy Bourke).	file \| diff \| annotate
2008-12-11	ballarin	2008-12-11	Clarified comment.	file \| diff \| annotate
2008-11-10	haftmann	2008-11-10	clarified comment	file \| diff \| annotate
2008-10-09	haftmann	2008-10-09	removed legacy \|>>>	file \| diff \| annotate
2008-09-25	haftmann	2008-09-25	burrow_fst	file \| diff \| annotate
2008-09-07	wenzelm	2008-09-07	added change_result;	file \| diff \| annotate
2008-09-04	wenzelm	2008-09-04	Thread.getLocal/setLocal;	file \| diff \| annotate
2008-08-27	wenzelm	2008-08-27	replaced find_substring by first_field;	file \| diff \| annotate
2008-08-27	wenzelm	2008-08-27	added find_substring;	file \| diff \| annotate

isabelle

RSS Atom