|
Nov 2, 2010 6:44 AM
|
Steven Baldasty edited Homepage
|
|
Nov 2, 2010 6:34 AM
|
Steven Baldasty edited Homepage
|
|
May 25, 2009 12:38 PM
|
Steven Baldasty edited Metamath syntax highlighting
|
|
May 2, 2009 7:27 PM
|
Steven Baldasty attached highlighting-screenshot.png to Metamath syntax highlighting
|
|
May 2, 2009 7:06 PM
|
Steven Baldasty updated metamath.lang
|
|
May 2, 2009 7:05 PM
|
Steven Baldasty deleted attachment metamath.lang from Metamath syntax highlighting
|
|
Apr 26, 2009 10:28 AM
|
Steven Baldasty edited Homepage
|
|
Apr 26, 2009 10:16 AM
|
Steven Baldasty edited Homepage
|
|
Apr 26, 2009 10:10 AM
|
Steven Baldasty deleted attachment metamath.lang from Home
|
|
Apr 26, 2009 10:07 AM
|
Steven Baldasty edited Metamath syntax highlighting
|
|
Apr 26, 2009 10:04 AM
|
Steven Baldasty edited Metamath syntax highlighting
|
|
Apr 26, 2009 9:59 AM
|
Steven Baldasty attached metamath.lang to Metamath syntax highlighting
|
|
Apr 9, 2009 6:06 AM
|
Steven Baldasty deleted Metamath Syntax Highlighting
|
|
Apr 5, 2009 10:58 AM
|
Steven Baldasty edited Metamath Syntax Highlighting
|
|
Apr 5, 2009 10:58 AM
|
Steven Baldasty created Metamath Syntax Highlighting
|
|
Apr 5, 2009 10:57 AM
|
Steven Baldasty edited Metamath Syntax Highlighting
|
|
Apr 5, 2009 10:56 AM
|
Steven Baldasty created Metamath Syntax Highlighting
|
|
Apr 5, 2009 10:00 AM
|
Steven Baldasty edited Home
|
|
Apr 5, 2009 9:57 AM
|
Steven Baldasty attached metamath.lang to Home
|
|
Apr 5, 2009 9:51 AM
|
Steven Baldasty created Home
|
|
|
