diff options
| author | Juan M. Lasca <juanmlasca@gmail.com> | 2013-03-11 21:13:19 -0400 |
|---|---|---|
| committer | dsomero <xgizzmo@slackbuilds.org> | 2013-03-22 07:16:40 -0400 |
| commit | 17ef36e40eb0d9183fcd7a29e9ddda3d1a96950a (patch) | |
| tree | 2298a88258830f60812a9814568c8563e4bea06d /academic/itex2mml | |
| parent | d30c249588095443f15225c70d35f8099efff699 (diff) | |
| download | slackbuilds-17ef36e40eb0d9183fcd7a29e9ddda3d1a96950a.tar.gz | |
academic/aris: Added (sequential proof program)
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
Diffstat (limited to 'academic/itex2mml')
0 files changed, 0 insertions, 0 deletions