gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/twelf

Implementation of the logical framework LF

Screenshots

  • twelf-1.7.1-r2
    ~amd64 ~x86
    doc emacs examples

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo

ChangeLog

commit 5fd09132b758233e1f9c24704e832f96df19683b
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Mar 1 00:13:24 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: d605f51aadda4424f4d767132f6c9c99218c6f66

commit 42c84c5720ed7e0b36fe32051acace23051840e5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Jan 22 08:22:17 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: ab6021fdfd361981ab43d040e08266fa9484a616

commit 72e7dab44f0d8a200766118bc0c0946c5f1ede97
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Feb 13 06:03:57 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: 8b7d6828cb3ac3ac5e33fbb6db24bbd13811f538

commit 3549ddbcd43f6a95226fc79bcbed34a71973b900
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 27 01:12:39 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: 3c6d53b50924e85ee45686ebd1cde275bd1895fc

commit 598ded5ea89821a0d724c8993405c45042b3d82e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Aug 25 00:26:24 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 4322619cb1872cc9dbe0fa1fdcd184a3642bac32

commit 0099bee1c097c4e9ad62cbba61b9ef6c5abc8471
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 24 12:27:16 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: ccd94e33817483691f8e043d7189fe44803aa808

commit 89cc3c4a2ec900bafe261c635084614d240105ec
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Aug 11 04:10:59 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 90795ffd7b6d717be93874c2cfb775f3c3bb5169

commit d2e83580e1ca255110219e8db6323f5781b5672f
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Mar 21 22:26:00 2015 +0000

glorious funtoo updates

merged:

bar-overlay: e29c88fad87f3aab32f058943dc1d4a409b4ae85
bliss-overlay: 2dbfd41a61bb1da06bd42bada90e82d160d64ce3
squeezebox: cf7953988018d60d3638245b380406be494bd7ae
funtoo-deadbeef: 934cfe61820e0cd87936ecf58e58044ab64772bc
funtoo-gambas: 36b05775d6576be37e4227d50059aa88a7d1c246
funtoo-wmfs: 9f97ae675241901f470402ac27373b11512982ea
vmware: b98ffa6d5d97a41a8b7be0a258a5adf92ed2de27
sera: 97b0bfd1f11402ba2185f151efa5fbd1641601fa
faustoo: 765cd35a1a027c4659cb6f9721ef882228e08141
foo-overlay: 44af5419fabdb2f70469f6696330eac1c37b60d9
funtoo-plex: 2f1b570e8217fcb861a4b343b8165be8f9c26353
causes: e970db2d9ec438de534c551222aad939f614019b
sabayon-for-gentoo: 2a1376e743936e026018a884692bc712049465e6
funtoo-gnome: 8a87f27af7545ef5b7053e7591a1290994642393
funtoo-media: dd06ff6b235a7d397fb91f039631bd11d2dd7787
funtoo-overlay: fb302f72d8c94c9695353a3f984638f57960e481
funtoo-toolchain: 2004a5563e6e407d49dec494336a84efc5b0fefb
funtoo-ldap: 858183d65360a9d496c1f107af1e4d435835b0ab

commit 009bacfa602046d739fe5e8ba56c31f6d2630b5d
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 11 00:39:58 2014 +0000

glorious funtoo updates

merged:

funtoo-overlay: 099cb7bdab1b6099bc0bc6b8f9ba82a88fcc688a
funtoo-mysql: c0f5ef9fbd1b65d4a4aaf3ed36c0b311dd616da9
funtoo-ldap: 63fb17b380185effbb7cca9d86aaad23ee605834
faustoo: a99772faa289b5a111e05522894b82ab69a18c81
foo-overlay: 4cac746e142029c8354eb0d3ee4957033c99fb10
bar-overlay: 1ad50aaef1e93863ab64d2b36a4a28686d55bb17
bliss-overlay: 49433d033bb07d5bcee3d0ee5bc62e03fe1cb0c7
funtoo-plex: 7fbc248f9f4301931ca5f5cf9e5e6892bea647b2
squeezebox: 7d78015cf563fd236723dbb2dc6cd2de6dad1bbf
funtoo-gnome: 8ef67c5d149c63e2907426f3527edf339da5d62e
funtoo-deadbeef: e5ece3cb23adb949c27a6143fe086b501396125b
sabayon-for-gentoo: 6bd086cd210fda05d411411323509882e31a417d

commit cdbc4b7e9a81e819f711eaa2d75073a669253c02
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 15 13:29:43 2014 -0700

glorious funtoo updates

merged:

funtoo-overlay: 75e3dd2ab3f8216e019627b06e0faaad01d9fcda
foo-overlay: 5e0dc0b0c8ce428c14693a2f3cc709a6f657afd7
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
mate: 515fd3118ecc0e6fdc3726c863fea5613376f96b
squeezebox: 3b7b8b97ca62d555c9e8456eb685627976cab6c2
sabayon-for-gentoo: 2c90b294214ef152f51ae9a6fc602517a641e6f2

commit 8c0ab819334dab30cb7aad38252f747e13f38b33
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Jan 6 13:27:11 2014 -0700

glorious funtoo updates

merged:

funtoo-overlay: 8fe108f5c8ba510720caa25f654e0f8d6eb01d49
foo-overlay: 3e94cf472419874fc129c110ec6e8ffa4cda4265
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
mate: dba9a42b170dac9ecdb4538a4df29aea6921498f
squeezebox: 3b7b8b97ca62d555c9e8456eb685627976cab6c2
sabayon-for-gentoo: cd4d3f131451c91fd01b140e34adceaa7b7727f6

commit f1dab424d8ecf2315df36e3b0fe4807dccda2d9c
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri May 24 12:55:11 2013 -0600

glorious funtoo updates

merged:

funtoo-overlay: f6172a3a7a2f123aa72c552f84ae653fc3ca8132
foo-overlay: 581c89b1434714082413b9f9230cc95e8b5c05dc
bar-overlay: 2fa65d46049ae8c1993fd18b84095fed198a9449
flora: da07848913dd5f3d08d4b662120c643fe83796bd
mate: 2927f40b5b21d6e3965abb17c8392776d185511b
sabayon-for-gentoo: 5692281b6e9b575c4e137d88f6a440759607184b

commit cb2a2df5b949f6cb1029580e8a63da678247e142
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Dec 12 12:44:01 2012 -0700

glorious funtoo updates

merged:

funtoo-overlay: 5efed5b85e6ab88c4cf74dbf4c2bb800089267a8
foo-overlay: 15d16bb4bc105fdf1309ef638f91ec792b50bd1b
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: bfd5882ce2949014f399443d65d05c83aa047a83
mythtv: d5133545c1814f01e74fe9079ba83d3cd21140f4

commit b14a16b45b1e8a46dc6463108d60564a821ff6be
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Dec 10 00:37:57 2012 -0700

glorious funtoo updates

merged:

funtoo-overlay: bfaeba697fe8c8e5155be9524876b88b3ad1c34e
foo-overlay: 15d16bb4bc105fdf1309ef638f91ec792b50bd1b
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: bfd5882ce2949014f399443d65d05c83aa047a83
mythtv: d5133545c1814f01e74fe9079ba83d3cd21140f4