Allow removing references and citations

google-code-backups / proveit-js

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

0 stars 0 forks source link

Allow removing references and citations #71

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago

Provide GUIs for removing both references and citations.  If a reference is 
removed, all associated citations should be removed automatically (possibly 
with confirmation prompt).  The user should be able to remove citations 
individually through the GUI.

Original issue reported on code.google.com by matthew....@gatech.edu on 21 Oct 2010 at 9:23