Public Git Hosting - arxana.git/search

2017-09-03	Joe Corneli	fix readme	commit \| commitdiff \| tree
2017-09-03	Joe Corneli	update talk	commit \| commitdiff \| tree
2017-09-02	Joe Corneli	update	commit \| commitdiff \| tree
2017-09-02	Joe Corneli	summary & future work	commit \| commitdiff \| tree
2017-09-02	Joe Corneli	update org file	commit \| commitdiff \| tree
2017-09-02	Joe Corneli	update images	commit \| commitdiff \| tree
2017-09-02	Joe Corneli	update content	commit \| commitdiff \| tree
2017-09-02	Joe Corneli	add outline of Scheme talk	commit \| commitdiff \| tree
2017-08-28	Joe Corneli	add verbal command to header	commit \| commitdiff \| tree
2017-08-28	Joe Corneli	Merge branch 'mob' of git://repo.or.cz/arxana into mob	commit \| commitdiff \| tree
2017-08-28	Joe Corneli	introduce verbal command	commit \| commitdiff \| tree
2017-08-20	Joe Corneli	initial example of a parser	commit \| commitdiff \| tree
2017-08-20	Joe Corneli	correct typo in arxana-reset-plexus	commit \| commitdiff \| tree
2017-08-19	Joe Corneli	slightly change todo list	commit \| commitdiff \| tree
2017-08-05	Joe Corneli	Revise this to reflect current status	commit \| commitdiff \| tree
2017-08-05	Joe Corneli	move honey-spec.org to ./org/	commit \| commitdiff \| tree
2017-08-01	Joe Corneli	reorganize TODO items	commit \| commitdiff \| tree
2017-07-25	Joe Corneli	change add-nema argument order in spec	commit \| commitdiff \| tree
2017-07-12	Joe Corneli	starting to work on display-document	commit \| commitdiff \| tree
2017-07-12	Joe Corneli	some added parens in this file	commit \| commitdiff \| tree
2017-07-12	Joe Corneli	initial working article browser based on new nemas...	commit \| commitdiff \| tree
2017-07-12	Joe Corneli	fix paren	commit \| commitdiff \| tree
2017-07-11	Joe Corneli	whitespace	commit \| commitdiff \| tree
2017-07-11	Joe Corneli	Merge branch 'mob' of git://repo.or.cz/arxana into mob	commit \| commitdiff \| tree
2017-07-11	Joe Corneli	rearrange slightly	commit \| commitdiff \| tree
2017-07-11	Joe Corneli	add IATC+CD representations	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	documentation changes	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	basic working version of get-names	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	initial working definition for triples-given-beginning etc	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	minor changes	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	fully fix import code continuation	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	fix import code continuation	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	important fix in add-nema - Update the counter for...	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	documentation changes	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	revise iterator functions	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	reorder filtering functions, ajust filter-plexus	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	reorder bulk vs individual operations	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	call next-unique-id in add-en-masse	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	whitespace, next-unique-id	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	begin to revise triple access functions	commit \| commitdiff \| tree
2017-07-10	Joe Corneli	fix some minor issues with importing	commit \| commitdiff \| tree
2017-07-07	Joe Corneli	fix subsection	commit \| commitdiff \| tree
2017-07-04	Joe Corneli	chase through downcasing Defun	commit \| commitdiff \| tree
2017-07-04	Joe Corneli	fix minor space issue	commit \| commitdiff \| tree
2017-07-04	Joe Corneli	some more editing of the merged document, with some...	commit \| commitdiff \| tree
2017-07-04	Joe Corneli	quick editing pass to superficially integrate HONEY...	commit \| commitdiff \| tree
2017-06-17	Joe Corneli	update task tree	commit \| commitdiff \| tree
2017-06-12	Joe Corneli	update from mixed mode collab session June 12	commit \| commitdiff \| tree
2017-06-11	Joe Corneli	added Future Work from paper and other small changes	commit \| commitdiff \| tree
2017-06-01	Joe Corneli	commit	commit \| commitdiff \| tree
2017-05-31	Joe Corneli	new paragraph	commit \| commitdiff \| tree
2017-05-31	Joe Corneli	comment un-useful	commit \| commitdiff \| tree
2017-05-31	Joe Corneli	notes from our conversation	commit \| commitdiff \| tree
2017-05-31	Joe Corneli	some more	commit \| commitdiff \| tree
2017-05-31	Joe Corneli	minor	commit \| commitdiff \| tree
2017-05-31	Joe Corneli	some content for Section 4	commit \| commitdiff \| tree
2017-05-31	Joe Corneli	minor	commit \| commitdiff \| tree
2017-05-30	Joe Corneli	check	commit \| commitdiff \| tree
2017-05-30	Joe Corneli	small changes prep to discussion	commit \| commitdiff \| tree
2017-05-30	Joe Corneli	some more clean up of section 3	commit \| commitdiff \| tree
2017-05-30	Joe Corneli	say something about Ganesalingam and Gowers	commit \| commitdiff \| tree
2017-05-30	Joe Corneli	chase through section 3 draft	commit \| commitdiff \| tree
2017-05-29	Joe Corneli	fix quote	commit \| commitdiff \| tree
2017-05-29	Joe Corneli	one minor fix	commit \| commitdiff \| tree
2017-05-29	Joe Corneli	clean up section 2, more references	commit \| commitdiff \| tree
2017-05-29	Joe Corneli	add some stuff in my section and a few corrections	commit \| commitdiff \| tree
2017-05-27	Joe Corneli	update slightly	commit \| commitdiff \| tree
2017-05-27	Joe Corneli	add revised outline	commit \| commitdiff \| tree
2017-05-27	Joe Corneli	add farm doc	commit \| commitdiff \| tree
2017-05-26	Joe Corneli	update scheme submission	commit \| commitdiff \| tree
2017-05-25	Joe Corneli	add subbranches	commit \| commitdiff \| tree
2017-05-25	Joe Corneli	fix org grammar	commit \| commitdiff \| tree
2017-05-25	Joe Corneli	add pictures	commit \| commitdiff \| tree
2017-05-22	Joe Corneli	spacing	commit \| commitdiff \| tree
2017-05-21	Joe Corneli	indent code	commit \| commitdiff \| tree
2017-05-21	Joe Corneli	copy results from collaborative session May 20	commit \| commitdiff \| tree
2017-05-20	Joe Corneli	fix typo	commit \| commitdiff \| tree
2017-05-20	Joe Corneli	some more editing	commit \| commitdiff \| tree
2017-05-20	Joe Corneli	some editing	commit \| commitdiff \| tree
2017-05-16	Joe Corneli	add robot example	commit \| commitdiff \| tree
2017-05-16	Joe Corneli	links to non-working examples	commit \| commitdiff \| tree
2017-05-15	Joe Corneli	fix typo throughout	commit \| commitdiff \| tree
2017-05-15	Joe Corneli	fix typo	commit \| commitdiff \| tree
2017-05-15	Joe Corneli	add gowers 2012 example	commit \| commitdiff \| tree
2017-05-15	Joe Corneli	add MPM example	commit \| commitdiff \| tree
2017-05-13	Joe Corneli	clean	commit \| commitdiff \| tree
2017-05-12	Joe Corneli	more rearrangements	commit \| commitdiff \| tree
2017-05-12	Joe Corneli	more clarifications	commit \| commitdiff \| tree
2017-05-12	Joe Corneli	Merge branch 'mob' of git://repo.or.cz/arxana into mob	commit \| commitdiff \| tree
2017-05-12	Joe Corneli	clean up	commit \| commitdiff \| tree
2017-05-12	Joe Corneli	add refs	commit \| commitdiff \| tree
2017-05-06	Joe Corneli	initial commit of org file	commit \| commitdiff \| tree
2013-10-12	Joe Corneli	Revise arxana.org with more structure.	commit \| commitdiff \| tree
2013-10-12	Joe Corneli	move org file to a more sensible name	commit \| commitdiff \| tree
2013-03-29	Joe Corneli	Pretty much complete draft of homepage is now done	commit \| commitdiff \| tree
2013-03-29	Joe Corneli	make a more succinct README	commit \| commitdiff \| tree
2013-03-29	Joe Corneli	Add honey-demo.tex	commit \| commitdiff \| tree
2013-03-29	Joe Corneli	Update license	commit \| commitdiff \| tree
2013-03-29	Joe Corneli	Add scholium programming and search examples from Ray	commit \| commitdiff \| tree
2013-03-29	Joe Corneli	Incorporate our initial tasklist as a .org file	commit \| commitdiff \| tree
next

RSS Atom