Support editing name for RawReference

google-code-backups / proveit-js

Automatically exported from code.google.com/p/proveit-js

0 stars 0 forks source link

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago

It should be possible to edit the name of a RawReference.  This will enable 
inserting citations (pointers).

Original issue reported on code.google.com by matthew....@gatech.edu on 5 Oct 2010 at 1:35

GoogleCodeExporter commented 8 years ago

See also issue 91, which addresses actually inserting them.  These can be 
implemented in either order.

Original comment by matthew....@gatech.edu on 9 Dec 2010 at 3:03