| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 1889 | Kartik K. Agaram | 2015-07-29 | 1 | -10/+10 |
| * | 1888 - silence error when no sandboxes | Kartik K. Agaram | 2015-07-29 | 1 | -1/+1 |
| * | 1884 | Kartik K. Agaram | 2015-07-29 | 1 | -28/+3 |
| * | 1883 - type-deducing in more .mu files | Kartik K. Agaram | 2015-07-29 | 1 | -1/+1 |
| * | 1881 | Kartik K. Agaram | 2015-07-29 | 1 | -3/+3 |
| * | 1880 - switch .mu files to new type-deducing idiom | Kartik K. Agaram | 2015-07-29 | 1 | -791/+789 |
| * | 1869 - rename the /deref property to /lookup | Kartik K. Agaram | 2015-07-28 | 1 | -326/+326 |
| * | 1868 - start using naked literals everywhere | Kartik K. Agaram | 2015-07-28 | 1 | -414/+414 |
| * | 1866 | Kartik K. Agaram | 2015-07-28 | 1 | -3/+3 |
| * | 1865 - emergency hotkey; mouse sometimes doesn't work | Kartik K. Agaram | 2015-07-28 | 1 | -0/+13 |
| * | 1863 - two bugfixes in deleting sandboxes | Kartik K. Agaram | 2015-07-28 | 1 | -0/+8 |
| * | 1861 - bugfix: saving sandboxes | Kartik K. Agaram | 2015-07-27 | 1 | -0/+2 |
| * | 1858 - switch from F10 to F4 | Kartik K. Agaram | 2015-07-27 | 1 | -37/+37 |
| * | 1857 - editor supports autoindent | Kartik K. Agaram | 2015-07-27 | 1 | -4/+80 |
| * | 1856 | Kartik K. Agaram | 2015-07-26 | 1 | -2/+3 |
| * | 1855 | Kartik K. Agaram | 2015-07-26 | 1 | -5/+5 |
| * | 1854 - 'tab' key support | Kartik K. Agaram | 2015-07-26 | 1 | -4/+33 |
| * | 1843 | Kartik K. Agaram | 2015-07-24 | 1 | -0/+4 |
| * | 1839 - clear entire screen on F10 | Kartik K. Agaram | 2015-07-24 | 1 | -2/+14 |
| * | 1838 | Kartik K. Agaram | 2015-07-24 | 1 | -17/+19 |
| * | 1832 | Kartik K. Agaram | 2015-07-24 | 1 | -0/+32 |
| * | 1831 | Kartik K. Agaram | 2015-07-24 | 1 | -0/+28 |
| * | 1830 | Kartik K. Agaram | 2015-07-23 | 1 | -5/+5 |
| * | 1829 | Kartik K. Agaram | 2015-07-23 | 1 | -0/+29 |
| * | 1828 | Kartik K. Agaram | 2015-07-23 | 1 | -6/+6 |
| * | 1827 | Kartik K. Agaram | 2015-07-23 | 1 | -2/+2 |
| * | 1826 - edit: start carefully showing all errors | Kartik K. Agaram | 2015-07-21 | 1 | -1/+39 |
| * | 1823 - restore sandboxes from previous session | Kartik K. Agaram | 2015-07-19 | 1 | -1/+27 |
| * | 1821 | Kartik K. Agaram | 2015-07-19 | 1 | -82/+82 |
| * | 1820 | Kartik K. Agaram | 2015-07-19 | 1 | -2/+2 |
| * | 1817 - save for sandboxes | Kartik K. Agaram | 2015-07-18 | 1 | -3/+15 |
| * | 1816 - ack, accidental namespace collision | Kartik K. Agaram | 2015-07-18 | 1 | -1/+1 |
| * | 1814 - save code in editor | Kartik K. Agaram | 2015-07-18 | 1 | -9/+5 |
| * | 1813 - ignore strings when highlighting | Kartik K. Agaram | 2015-07-18 | 1 | -116/+2 |
| * | 1812 - brighter comment color | Kartik K. Agaram | 2015-07-18 | 1 | -5/+5 |
| * | 1811 - simple coloring inside editors | Kartik K. Agaram | 2015-07-18 | 1 | -2/+227 |
| * | 1810 | Kartik K. Agaram | 2015-07-17 | 1 | -5/+5 |
| * | 1809 - simple example for first showing to students | Kartik K. Agaram | 2015-07-17 | 1 | -45/+6 |
| * | 1808 - helper to print newlines during debugging | Kartik K. Agaram | 2015-07-17 | 1 | -24/+12 |
| * | 1807 - all tests passing again | Kartik K. Agaram | 2015-07-17 | 1 | -14/+14 |
| * | 1805 - bring back sandbox deletion | Kartik K. Agaram | 2015-07-17 | 1 | -9/+167 |
| * | 1804 | Kartik K. Agaram | 2015-07-17 | 1 | -16/+16 |
| * | 1803 | Kartik K. Agaram | 2015-07-17 | 1 | -2/+2 |
| * | 1802 - cleanup | Kartik K. Agaram | 2015-07-17 | 1 | -31/+45 |
| * | 1801 - assertion failures fixed | Kartik K. Agaram | 2015-07-17 | 1 | -12/+11 |
| * | 1800 - ah, found the bounds-checking bug | Kartik K. Agaram | 2015-07-17 | 1 | -7/+11 |
| * | 1799 - continue to debug memory corruption of 1795 | Kartik K. Agaram | 2015-07-17 | 1 | -208/+147 |
| * | 1798 - support for deleting sandboxes | Kartik K. Agaram | 2015-07-16 | 1 | -1/+144 |
| * | 1797 - widget to delete sandbox | Kartik K. Agaram | 2015-07-16 | 1 | -7/+24 |
| * | 1796 - temporarily undo 1795 | Kartik K. Agaram | 2015-07-16 | 1 | -150/+2 |