tauXSchema | Main / OldNews

Main.OldNews History

Hide minor edits - Show changes to markup

February 13, 2011, at 07:09 AM by 67.193.200.143 -

Added lines 1-6:

September 9, 2009 - New Technical Report Released

The group has just released a new technical report that encompasses and summarizes previous work as well as introduces new ideas. See the Publications page.

March 16, 2009 - New Publication

Steve Thomas's Master's Thesis has been added to the Publications page.

Added lines 10-12:

February 2, 2009 - New tXSchema Member

Alex Henniges has joined the team and will be working on his Honors Thesis.

Restore

June 15, 2010, at 07:34 PM by 67.193.200.143 -

Deleted lines 0-1:

Older News

Restore

June 15, 2010, at 07:34 PM by 67.193.200.143 -

Added lines 1-18:

Older News

February 2, 2009 - New tXSchema Member

Alex Henniges has joined the team and will be working on his Honors Thesis.

October 22, 2008 - Language Design Update

The tXSchema language has undergone a thorough revamping and is now more robust and easier to use.

June 22, 2008 - Full-length Squash tutorials posted.

Two comprehensive squash tutorials are now posted. They should be a great way to get started with the system. A Temporal Validator tutorial is in the works.

June 7, 2008 - tXSchema wiki page now available!

Thanks to Phil Kaslo at the University of Arizona for helping us get the wiki online.

Home

Restore