Files

 master

/

general

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

quaeler

macOS and PDF viewing - tlaplus#359 and tlaplus#357

Sep 14, 2019

71f9048 · Sep 14, 2019

History

History

This branch is 1523 commits behind tlaplus/tlaplus:master.

/

general

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
bug-11-03-10		bug-11-03-10	Committed data for a toolbox bug dated 2011-march-10	Mar 11, 2011
bugzilla		bugzilla	Link to local dump of old bugzilla.tlaplus.net Bugzilla database.	Aug 23, 2016
cla		cla	Add contributor license agreement (CLA) template	Sep 21, 2015
docs		docs	macOS and PDF viewing - tlaplus#359 and tlaplus#357	Sep 14, 2019
icons		icons	init	Aug 27, 2009
ide		ide	Revert "Bring IDE and maven build version of RCPTT back into sync."	May 30, 2019
performance		performance	Terminate Bloemen performance tests on packet with non-invasive timer	Apr 29, 2019
tests		tests	Converted what used to be string comparsion tests into JUnit tests. This	Feb 12, 2015
.project		.project	Remove accidentally added texclipse nature	Feb 8, 2012
TLASplashScreen.tif		TLASplashScreen.tif	Added high res splash screen logo.	May 25, 2015
regression-test.zip		regression-test.zip	git-svn-id: svn+ssh://svn.msr-inria.inria.fr/var/lib/svn/repository/t…	May 1, 2009
test2.09-02-20		test2.09-02-20	git-svn-id: svn+ssh://svn.msr-inria.inria.fr/var/lib/svn/repository/t…	May 1, 2009
View all files